scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
21 stars 2 forks source link

Gadget to assert non-zero and non-equal #535

Closed naure closed 3 days ago

matthiasgoergens commented 1 day ago

No tests?