Proving Sonoluminescence in Zero Knowledge: How We Built a 1,664-Byte Proof for Real Physics
A 3,500-line Rust codebase proves correct execution of a sonoluminescence simulation in zero knowledge. The proof is 1,664 bytes. Verification takes 2.5ms. The hardest part was arithmetic.