Papers
Formal papers and preprints from a PhD-by-publication track on zero-knowledge proof systems, consensus-layer privacy, and the cryptographic interfaces between humans and AI agents. Drafts are rough; preprints are circulating; submitted is under peer review. Papers-only Atom feed →
Preprints
-
Production Round-Constant Selection for Poseidon-128 over BN254
Poseidon-128 over BN254 has converged on a small number of canonical parameter sets, but the round-constant tables shipped by widely deployed implementations diverge subtly. We document the methodology by which a production parameter set should be selected — the Grain-LFSR…
- Poseidon
- round constants
- BN254
- parameter selection
- zero-knowledge
-
Asymmetric Tool Surfaces for AI-Agent Cryptographic Primitives
We argue that SDKs exposing cryptographic primitives to autonomous AI agents must obey an explicit asymmetry rule: read and pure-compute operations may be exposed without privilege, but state-changing authority must remain behind an out-of-band human or hardware confirmation. We…
- zero-knowledge
- MCP
- AI agents
- SDK design
- threat modelling