• • 2022年11月01日
  • 4 分
  Notes on Chosen Generator Discrete Logarithms
  • Cryptography
  • Foundations
  • Math
  • Programming
• • 2022年09月15日
  • 5 分
  On Adding Chaining to SAFE
  • Cryptography
  • ZK Proofs
• • 2022年09月11日
  • 2 分
  Simple Multi-Round Fiat-Shamir with BLAKE3
  • Cryptography
  • ZK Proofs
• • 2022年09月07日
  • 3 分
  Powers of Tau Proofs
  • Cryptography
  • ZK Proofs
• • 2022年09月01日
  • 1 分
  The Goldilocks Field
  • Cryptography
  • ZK Proofs
• • 2022年08月24日
  • 2 分
  On RAM In Structured Computation
  • Cryptography
  • SNARKs
  • ZK Proofs
• • 2022年08月14日
  • 2 分
  On Verifying Public Coin Protocols inside ZK Proofs
  • Cryptography
  • ZK Proofs
• • 2022年06月02日
  • 4 分
  On Defining the One More Discrete Logarithm Problem
  • Cryptography
  • Foundations
• • 2022年05月03日
  • 6 分
  Bit Flipping in State Separable Proofs
  • Cryptography
  • Foundations
  • Math
• • 2022年04月05日
  • 2 分
  RSA Schnorr Signatures
  • Cryptography
  • Math
• • 2022年02月18日
  • 5 分
  Some More Notes on Formalizing Games
  • Cryptography
  • Foundations
  • Math
  • Programming
• • 2022年02月17日
  • 14 分
  On Formalizing Security Games
  • Cryptography
  • Foundations
  • Math
  • Programming
• • 2021年08月28日
  • 6 分
  On Doerner et al's modifications to Extended Random OT
  • Cryptography
  • Math
• • 2021年08月25日
  • 1 分
  Better Notation for Matrices
  • Math
• • 2021年08月05日
  • 2 分
  Avalanche Signatures
  • Elliptic Curve
  • Cryptography
• • 2021年05月11日
  • 2 分
  Reflexive Interfaces in Go
  • Go
  • Programming Languages
• • 2021年05月07日
  • 2 分
  Making Go's RSA Internals Constant Time
  • Math
  • Cryptography
• • 2021年04月21日
  • 6 分
  Montgomery Ladder in ECC
  • Math
  • Cryptography
• • 2021年01月28日
  • 5 分
  Thoughts on Big Number APIs
  • Math
  • Cryptography
• • 2021年01月15日
  • 14 分
  Nets define Topologies
  • Math
  • Topology
• • 2020年12月31日
  • 4 分
  Discrete, Indiscrete: Free, CoFree
  • Algebra
  • Category Theory
  • Topology
• • 2020年12月27日
  • 7 分
  Universal Properties and Adjunctions
  • Algebra
  • Category Theory
  • Math
• • 2020年12月26日
  • 2 分
  Misc 0
  • Programming
  • Green Threads
  • Topology
  • Math
  • Algebra
  • Misc
• • 2020年12月25日
  • 3 分
  Connectedness and Constant Maps
  • Math
  • Topology
• • 2020年12月24日
  • 3 分
  Topological Groups are Hausdorff
  • Math
  • Topology
  • Algebra