This is an experiment repo for using Grobner basis solver in circom circuit testing. It follows similar usage pattern as circom-tester package. Please see the slides for the method and an example usage.
This is an experiment repo for using Grobner basis solver in circom circuit testing. It follows similar usage pattern as circom-tester package. Please see the slides for the method and an example usage.