• papers podcast posts projects
    • 2023年04月30日
    • 6 分
    Cait-Sith Security (0): Preliminaries
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年04月16日
    • 10 分
    Cait-Sith Security (4): Signing
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年04月16日
    • 2 分
    Cait-Sith Security
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年04月05日
    • 20 分
    Cait-Sith Security (3): Multiplication and Triples
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年04月02日
    • 10 分
    Cait-Sith Security (X): Cheat Sheet
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年03月13日
    • 26 分
    Cait-Sith Security (2): Key Sharing
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年02月27日
    • 24 分
    Cait-Sith Security (1): Echo Broadcast
    • Cait-Sith
    • Cryptography
    • Protocols
    • TSS
    • 2023年02月23日
    • 4 分
    Some MPS Utilities
    • Cryptography
    • Foundations
    • Protocols
    • 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