# 2023年03月10日

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

# 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”.

# 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.

# 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.

- 0x00122023 is the New 1971
# 2023年01月07日

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

# 2022年11月23日

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

- 0x0010Bulletin but not Bored
# 2022年10月12日

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

# 2022年10月08日

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

# 2022年10月05日

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

- 0x000DOn 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.

- 0x000CWhat 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?

# 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.

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

# 2022年08月27日

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

- 0x0008Ok 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!

# 2022年08月20日

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

# 2022年08月17日

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

# 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?

- 0x0004MPC 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

# 2022年08月03日

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

# 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!

# 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?