You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Various binaries used during witness generation, and testings
2
+
3
+
- All `*_gates.json` are the list of gates, for each circuit
4
+
-`*_internal_vars.bin` and `*_rows_rev.bin` are other data we need for witness generation: [link](https://github.com/MinaProtocol/mina/blob/28ad2335c3970b856849137196c7693c18edee78/src/lib/crypto/kimchi_backend/common/plonk_constraint_system.ml#L707-L710)
5
+
- All others `*.bin` are snark works (`ExternalSnarkWorkerRequest`) used for testings
6
+
-`*.txt` files are witnesses vectors generated from OCaml, they are used for testings too
0 commit comments