Update README.md

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.