github/pse.dev
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/pse.dev.git synced 2026-01-10 06:38:03 -05:00
Code Issues Packages Projects Releases Wiki Activity

migrate project data from .ts to Markdown files (#453)

Browse Source 
* migrate project data from .ts to Markdown files
This commit is contained in:
Kalidou Diagne
2025-06-13 22:05:23 +04:00
committed by GitHub
parent 4212a2c598
commit b4b1bb56e6
213 changed files with 3345 additions and 3973 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
content/projects/sonobe.md Normal file
View File

@@ -0,0 +1,42 @@
---
id: "sonobe"
name: "Sonobe Folding Library"
image: "sonobe.png"
section: "pse"
projectStatus: "active"
category: "devtools"
tldr: "Modular folding library supporting multiple schemes and decider backends"
tags:
keywords: ["Folding", "IVC"]
themes: ["build"]
types: ["Infrastructure/protocol", "Lego sets/toolkits"]
builtWith: ["rust"]
links:
github: "https://github.com/privacy-scaling-explorations/sonobe"
website: "https://privacy-scaling-explorations.github.io/sonobe-docs"
---
In collaboration with [0xPARC](https://0xparc.org), [Sonobe](https://github.com/privacy-scaling-explorations/sonobe) is a modular library to fold arithmetic circuit instances in an Incremental Verifiable computation (IVC) style. It supports multiple frontends, multiple folding schemes, and multiple decider backends, allowing users to plug-and-play different components.
- **Frontends:**
- Arkworks
- Circom
- Noir
- Noname
- **Folding schemes:**
- [Nova](https://eprint.iacr.org/2021/370), supporting also both the [Mova](https://eprint.iacr.org/2024/1220) & [Ova](https://hackmd.io/V4838nnlRKal9ZiTHiGYzw) variants.
- [CycleFold](https://eprint.iacr.org/2023/1192)
- [HyperNova](https://eprint.iacr.org/2023/573)
- [ProtoGalaxy](https://eprint.iacr.org/2023/1106)
- **Decider backends:**
- Groth16 and KZG commitment [proofs](https://privacy-scaling-explorations.github.io/sonobe-docs/usage/decider-prove.html) which are [verifiable on-chain](https://privacy-scaling-explorations.github.io/sonobe-docs/usage/solidity-verifier.html).
- **Other features:**
- [ZK Layer](https://privacy-scaling-explorations.github.io/sonobe-docs/usage/nova-zk.html)
- In-browser [WASM usage](https://privacy-scaling-explorations.github.io/sonobe-docs/usage/wasm.html)
- **Example projects:**
- [Bitcoin light client](https://github.com/dmpierre/sonobe-btc) leveraging Sonobe
- [Hash chains](https://github.com/arnaucube/hash-chain-sonobe): proving chains of Sha256 and Keccak256 hashes