Hobbit: Space-Efficient zkSNARK with Optimal Prover Time
Christodoulos Pappas
34th USENIX Security Symposium (USENIX Security '25) · Day 2 · Crypto 3: Formal Methods and Private Computation
Christodoulos Pappas
34th USENIX Security Symposium (USENIX Security '25) · Day 2 · Crypto 3: Formal Methods and Private Computation