This blog will collect public-facing notes from ongoing cryptography research. The center of gravity is practical protocol design: what assumptions a construction relies on, where the threat model is doing real work, and which details matter when an idea moves from a paper sketch into an implementation.
Initial topics will include garbled circuits, threshold signatures, symbolic verification, BitVM-style protocols, STARK/SNARK integration, and security tradeoffs in bridge designs.
The goal is not to turn every note into a polished paper. The useful format is smaller: a claim, a construction, an experiment, or a design decision that is worth making legible.