a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
619 stars 123 forks source link

Clean up ProofTranscript trait #306

Closed sragss closed 4 months ago

sragss commented 4 months ago

ProofTranscript was introduced back in the day to provide a layer of indirection so we could mock the transcript challenges. We had exactly 1 sumcheck test that did this and it added a ton of bloat messy generic signatures.