diff --git a/README.md b/README.md index dbcc285..7c2b1ab 100644 --- a/README.md +++ b/README.md @@ -21,6 +21,12 @@ curl -L https://foundry.paradigm.xyz | bash # install foundry 4. Finally, run `yarn dev` to execute the entire stack on [`http://localhost:3000`](http://localhost:3000). This will redeploy the auto-generated [__verifier logic__](https://docs.circom.io/getting-started/proving-circuits/) made available to your [__smart contracts__](https://ethereum.org/en/developers/docs/smart-contracts/) on the [`anvil`](https://github.com/foundry-rs/foundry) local chain and inject the relevant configuration properties into your frontend. +### ♻️ Lifecyle + +`zk-starter`'s build life cycle ensures that for each new arithmetic circuit you build, a corresponding [__Solidity__](https://docs.soliditylang.org/en/v0.8.17/) smart contract which inherits a compatible verifier will also be initialized for you to extend. + +Likewise, for every circuit you create, a high-level utility library is injected into the applicaton frontend at compile time; this provides high level functions for generating proofs, verifying proofs, and generating compatible calldata for verification. + ### 🙏 Attribution This monorepo was inspired by [__BattleZips 🏴‍☠️__](https://twitter.com/Battlezips) ([__Git__](https://github.com/BattleZips/BattleZips)). Thank you for helping increase accessibility to the state-of-the-art in modern cryptography.