a16z / jolt

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

Feat/remove circom #197

Closed arasuarun closed 7 months ago

arasuarun commented 7 months ago

Removes the need to use circom by describing the constraints in src/r1cs/constraints.rs. This will also more efficiently fill in the auxiliary witness wires during proving time.