Notes

SNES Emudev 2025-10-05

Cait-Sith Security (0): Preliminaries 2023-04-30

Cait-Sith Security (4): Signing 2023-04-16

Cait-Sith Security 2023-04-16

Cait-Sith Security (3): Multiplication and Triples 2023-04-05

Cait-Sith Security (X): Cheat Sheet 2023-04-02

Cait-Sith Security (2): Key Sharing 2023-03-13

Cait-Sith Security (1): Echo Broadcast 2023-02-27

Some MPS Utilities 2023-02-23

Notes on Chosen Generator Discrete Logarithms 2022-11-01

On Adding Chaining to SAFE 2022-09-15

Simple Multi-Round Fiat-Shamir with BLAKE3 2022-09-11

Powers of Tau Proofs 2022-09-07

The Goldilocks Field 2022-09-01

On RAM In Structured Computation 2022-08-24

On Verifying Public Coin Protocols inside ZK Proofs 2022-08-14

On Defining the One More Discrete Logarithm Problem 2022-06-02

Bit Flipping in State Separable Proofs 2022-05-03

RSA Schnorr Signatures 2022-04-05

Some More Notes on Formalizing Games 2022-02-18

On Formalizing Security Games 2022-02-17

On Doerner et al's modifications to Extended Random OT 2021-08-28

Better Notation for Matrices 2021-08-25

Avalanche Signatures 2021-08-05

Reflexive Interfaces in Go 2021-05-11

Making Go's RSA Internals Constant Time 2021-05-07

Montgomery Ladder in ECC 2021-04-21

Thoughts on Big Number APIs 2021-01-28

Nets define Topologies 2021-01-15

Discrete, Indiscrete: Free, CoFree 2020-12-31

Universal Properties and Adjunctions 2020-12-27

Misc 0 2020-12-26

Connectedness and Constant Maps 2020-12-25

Topological Groups are Hausdorff 2020-12-24

What this blog tries to cultivate 1970-01-01

The Inefficiency of Risk in Deferred Payment 1970-01-01

Systemd User Units 1970-01-01

Stream of Consciousness Writing 1970-01-01

Stereotypic Inertia 1970-01-01

Social Media Addiction 1970-01-01

Signal (messaging) 1970-01-01

SaaS is Inevitable 1970-01-01

Reading Lists 1970-01-01

Power Laws in a Hyper-Connected World 1970-01-01

Monadic Cryptography in Lean 1970-01-01

Local-First Software 1970-01-01

Hidden Reliance 1970-01-01

Drudgery and LLMs 1970-01-01

Computer Science is Special 1970-01-01

Competition and Predictability 1970-01-01

Cities should Capture more Tax Revenue 1970-01-01

Causality and History 1970-01-01

Anxious AI Assistant Use 1970-01-01

Anxiety about the future 1970-01-01

American Mortgage Market 1970-01-01