o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps

Home Page:https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

make `Proof` witness-able

Trivo25 opened this issue · comments

and refactor how we handle proofs and "real" witnesses and how Pickles consumes them

Provable.witness(Proof, () => myProof); should just work

leading up to #661