search

scroll-tech / ceno

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

Fix: imm are not considered as negative in logic i-type instructions #529

Closed kunxian-xia closed 3 weeks ago

kunxian-xia commented 3 weeks ago

Fixes #528.