Code

Pickles compile proof passing#288

Code

Draft

ymekuria wants to merge 2 commits intov1o1-labs/o1js-bindings:v1from feature/pickles-compile-proof-passingo1-labs/o1js-bindings:feature/pickles-compile-proof-passingCopy head branch name to clipboard

+8-3

Commits

Commits on Jun 3, 2024

• feat(pickles_bindings.mli): add previousProofs to rule

  ymekuria

  committed
  33b3dd3

  Copy full SHA for 33b3dd3

Commits on Jul 25, 2024

• feat(pickles_bindings.ml): add previousProofs property to pickles_rule_js type to store an array of proofs for verification

  ymekuria

  committed
  ada4e7d

  Copy full SHA for ada4e7d