mit einem Klick
snarky
snarky enthält 6 gesammelte Skills von l-adic, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.
Skills in diesem Repository
Development conventions and practices for this codebase. Use when writing PureScript code, tests, or FFI in this project.
Tools for analyzing OCaml mina source code to support translation. Use when you need to understand types, field assignments (Fp vs Fq), functor instantiations, or the structure of OCaml circuit code before translating to PureScript.
Iteratively build out the PureScript step prover for the Pickles `Simple_chain` test by diffing transcript logs against the OCaml fixture, fixing one divergence per iteration, until the traces match byte-for-byte or a fundamental obstruction is hit. The loop is the test infrastructure built in commits 0292b512..5389ac7b.
Add new Kimchi gate circuits to the JSON comparison tests that verify PureScript circuits produce identical constraint systems to OCaml. Use when adding a new gate circuit or debugging a circuit mismatch.
Expert guidance on the Pickles recursive proof system (2-cycle recursion). Use when working with Step/Wrap verifiers, cross-field arithmetic (Type1/Type2 shifting), polynomial commitment batching (IPA), or translating Pickles logic from Mina's OCaml implementation.
Translate OCaml snarky/kimchi circuits from mina into PureScript. Use when translating code from mina/src/lib/snarky, mina/src/lib/pickles, or related crypto libraries.