diff --git a/src/SUMMARY.md b/src/SUMMARY.md index db2f22b..5a3e318 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -15,3 +15,4 @@ - [Design](design/design.md) - [Nova+CycleFold circuit](design/novacyclefold-circuit.md) - [Decider Onchain](design/nova-decider-onchain.md) +- [Examples and Projects](examples_projects.md) diff --git a/src/examples_projects.md b/src/examples_projects.md new file mode 100644 index 0000000..2291cfc --- /dev/null +++ b/src/examples_projects.md @@ -0,0 +1,5 @@ +# Examples and Projects + +> This section contains examples and projects that use Sonobe. You can find isolated examples too in the dir [sonobe/examples](https://github.com/privacy-scaling-explorations/sonobe/tree/main/examples). + +- [https://github.com/dmpierre/sonobe-btc](https://github.com/dmpierre/sonobe-btc): implementation of an on-chain Bitcoin light client leveraging Sonobe: uses nova to verify bitcoin's proof of work over 100k blocks and groth16 to land the zkSNARK IVC proof on chain.