issues
search
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
fix/jalr-degree
#504
Closed
naure
closed
6 days ago
naure
commented
6 days ago
Issue #502
Check constraint degree in MockProver.
Implement JALR with degree 2 using an intermediate witness.
Implement JALR more efficiently when overflow is not required.
Issue #502