• papers podcast posts projects
  • 0x0016
    Idealized Models for Free

    2023年03月10日

    In which I talk about stealing the notion of parametricity from functional programming to define idealized models of cryptographic objects.

  • 0x0015
    Sketches of Meta-Cryptography

    2023年03月09日

    In which I describe some very early research thoughts about so-called “meta-cryptography”: the analysis of cryptographic models and their interconnections. Guest starring “Category Theory”.

  • 0x0014
    Procrastinating on my Master's Thesis

    2023年03月08日

    In which I talk about some research I intend to undertake this semester, from threshold ECDSA, to bulletin boards, to robust Schnorr signatures.

  • 0x0013
    Cool Another Interesting Threshold Signature In The House

    2023年03月07日

    In which I talk about CAIT-SITH, and why it’s a pretty cool threshold ECDSA scheme with good implementation ideas and performance.

  • 0x0012
    2023 is the New 1971

    2023年01月07日

    Or why AI will not cause the economy to grow a bajillion times by 2030

  • 0x0011
    They Don't Know about Non-Interactive MPC

    2022年11月23日

    In which I rant about how much mindspace Homomorphic Encryption occupies, and how this is similar to Machine Learning vs Computing.

  • 0x0010
    Bulletin but not Bored

    2022年10月12日

    Why alphabetical references are better than numerical, why round complexity is of limited utility, and more!

  • 0x000F
    Threshold ECDSA in Excessive Detail

    2022年10月08日

    In which I talk about ECDSA, and various ways of thresholdizing it.

  • 0x000E
    Some Thoughts on Threshold Signatures

    2022年10月05日

    In which I give a high level overview of threshold signatures and how they work.

  • 0x000D
    On Comparing SNARKs

    2022年09月24日

    Why it’s difficult to compare SNARKs together, and why it would be nice to have a centralized table benchmarking and comparing them nonetheless, among other topics.

  • 0x000C
    What is security?

    2022年09月21日

    What do we mean when we say some piece of cryptography is secure? What are cryptographic assumptions? How does modelling security fail in practice?

  • 0x000B
    Thoughts on the Fiat-Shamir Transform

    2022年09月18日

    In which I explain what the Fiat-Shamir transform is, and go over some thoughts on good ways to implement it in practice.

  • 0x000A

    2022年09月07日

    In which I talk about my recent paper of the same name.

  • 0x0009
    Can Machines Learn Without Knowledge

    2022年08月27日

    On Zero-Knowledge Proofs and Machine Learning, the centralizing force of Machine Learning, and more!

  • 0x0008
    Ok Algebraic Automaton

    2022年08月24日

    What exactly counts as a SNARK? Why do some proof systems need structured computation, and what are its limits? Why are boolean circuits so neat? And more!

  • 0x0007
    Can You Cheat a Semi-Honest M

    2022年08月20日

    How useful is the semi-honest security model? How to integrate MPC at scale? Block producer privacy, and more!

  • 0x0006
    MPC In The Head 2: Thoughts About Rem-Boo

    2022年08月17日

    On boolean circuits and their various representations. Why WASM is an interesting ZK proof bytecode. Chunky vs SIMD operations, and more!

  • 0x0005
    We're Not in Kansas Anymore

    2022年08月10日

    What is Tornado Cash anyways? Why is the U.S. Treasury sanctioning it? What are the consequences of this decisions? How should we regulate privacy coins anyways?

  • 0x0004
    MPC In The Head Special

    2022年08月06日

    Did you know that not all ZK proofs are SNARKs? Do you want to know how to make concretely efficient ZK proofs? (Terms and conditions may apply). This is the episode for yo

  • 0x0003
    A Tower of Cryptographic Abstractions

    2022年08月03日

    Press F for SIDH, and then… Problems, Primitives, Schemes, Protocols, and Applications oh my!

  • 0x0002
    Post-Quantum Cryptography Special

    2022年06月30日

    What is Post-Quantum Cryptography? Can we trust the NIST standardization process? Can we update secure messaging protocols to a Post-Quantum world? And more!

  • 0x0001
    Attack of the 20 page appendix

    2022年06月26日

    Why are appendices in cryptography papers so long? Can we augment LLVM for boolean and arithmetic circuits? What’s the deal with STARK to SNARK composition?