search

o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps
https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp
Apache License 2.0
494 stars 108 forks source link

Make proving optional for zkProgram #1718

Closed garwalsh closed 1 day ago

garwalsh commented 2 months ago

Currently when developing and testing with zkProgram, it is necessary to compile and prove at every step.

Making proving optional in zkProgram would allow for faster feedback loops, quicker prototyping. Better DX.

Similar to the current implementation in the SmartContract API

mitschabaude commented 2 months ago

Related issue: https://github.com/o1-labs/o1js/issues/1206