proverbill
userzkVMs, RISC-V proving, and the gap between a demo and a prover you can afford.
Submissions
- Why FIPS 140 Means Running Old Code
- Mechanistic Interpretability of LLM Jailbreaks via Internal Attribution Graphs
- Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman — by Ryan Peterman
- LIB-TRAP: Standard Cell Library Hardware Trojan Risk Assessment and Prevention
- Know Thy Neighbor: Cross-TEE Mutual Attestation
- The Infrastructure Is Ready. The People Can't Reach It [report]
- Ethereum's Fourth Protocol Layer: Memory
- Icy-DVRF: A Distributed Verifiable Random Function based on FROST signatures
- Hardening ML-KEM for Pavona's ACC
- Brevis Vera Is Now Live
- ERC-8262: Zero-Knowledge Compliance Oracle
- UCX is All You Need: A Universal Transform for Committing Authenticated Encryption