@@ -233,11 +233,33 @@ proof types:
233233- Protocol compliance validation
234234- Regression testing for circuit changes
235235
236- ## Circuit Constraint Extraction
236+ ### Circuit Generation Process
237+
238+ Since these constraint capabilities are missing, mina rust nodes requires
239+ externally generated circuit data. The following process describes how circuits
240+ are created and distributed using the original Mina codebase:
237241
238- For a comprehensive technical overview of circuit constraint extraction, see the
239- [ circuit_blobs module documentation] ( https://o1-labs.github.io/mina-rust/api-docs/ledger/proofs/circuit_blobs/index.html )
240- in the ledger crate.
242+ <!-- TODO:
243+ Update this when new mina release happens that contains code to export circuits
244+ And when command to export circuits is added
245+ And CI is updated to check for latest circuits
246+ -->
247+
248+ 1 . Build mina <b >OCAML</b > node from source with commit after
249+ [ ` 6961849 ` ] ( https://github.com/MinaProtocol/mina/commit/6961849f17d564c39e7d45e01e3ddda9a09602a4 )
250+
251+ 2 . Running the circuit generation process using the branch above
252+ - Launch the OCaml node which produces circuit cache data in
253+ ` /tmp/coda_cache_dir `
254+ - The branch dumps the usual circuit data plus extra data specifically
255+ required by mina rust nodes
256+ - The process also dumps blocks for use in tests
257+ - Integration with mainline Mina would streamline future circuit generation
258+
259+ 3 . The generated circuit blobs are then:
260+ - Committed to the dedicated repository:
261+ https://github.com/o1-labs/circuit-blobs
262+ - Released as GitHub releases for versioning and distribution
241263
242264### Overview
243265
0 commit comments