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

test/canary: troubleshoot corrupt witness memory #597

Closed naure closed 3 days ago

naure commented 3 days ago

This is the canary method to find missing assignments in RowMajorMatrix.

If interested, I can turn this into a testing feature.

naure commented 3 days ago

Better improve the API instead of this hack. Issue https://github.com/scroll-tech/ceno/issues/600