diff --git a/data/projects.ts b/data/projects.ts index ad2b669a..754ee2b3 100644 --- a/data/projects.ts +++ b/data/projects.ts @@ -28,6 +28,7 @@ import { PerpetualPowersOfTau } from "./projects/powers-of-tau" import { pseSecurity } from "./projects/pse-security" import { rln } from "./projects/rln" import { semaphore } from "./projects/semaphore" +import { sonobe } from "./projects/sonobe" import { summa } from "./projects/summa" import { tlsn } from "./projects/tlsn" import { trustedSetups } from "./projects/trusted-setups" @@ -49,6 +50,7 @@ import { zkp2p } from "./projects/zkp2p" * Every 'description' props supports markdown syntax https://www.markdownguide.org/basic-syntax/ */ export const projects: ProjectInterface[] = [ + sonobe, mpc, rln, zkitter, diff --git a/data/projects/sonobe.ts b/data/projects/sonobe.ts new file mode 100644 index 00000000..bc55d934 --- /dev/null +++ b/data/projects/sonobe.ts @@ -0,0 +1,58 @@ +import { + ProjectCategory, + ProjectContent, + ProjectInterface, + ProjectStatus, + } from "@/lib/types" + + const content: ProjectContent = { + en: { + tldr: "Modular folding library supporting multiple schemes and decider backends", + description: `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), with [upcoming](https://github.com/privacy-scaling-explorations/sonobe/tree/main/folding-schemes/src/folding/nova/nifs) support for [Mova](https://eprint.iacr.org/2024/1220) & [Ova](https://hackmd.io/V4838nnlRKal9ZiTHiGYzw) + - [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 + `, + }, + } + + export const sonobe: ProjectInterface = { + id: "sonobe", + projectStatus: ProjectStatus.ACTIVE, + category: ProjectCategory.DEVTOOLS, + section: "pse", + content, + image: "sonobe.png", + name: "Sonobe Folding Library", + links: { + github: "https://github.com/privacy-scaling-explorations/sonobe", + website: "https://privacy-scaling-explorations.github.io/sonobe-docs" + }, + tags: { + keywords: ["Folding", "IVC"], + themes: ["build"], + types: ["Infrastructure/protocol", "Lego sets/toolkits"], + builtWith: ["rust"], + }, + } + diff --git a/data/projects/zkevm-community.ts b/data/projects/zkevm-community.ts index 4aa3cb4e..50e0af64 100644 --- a/data/projects/zkevm-community.ts +++ b/data/projects/zkevm-community.ts @@ -14,7 +14,7 @@ const content: ProjectContent = { export const zkevmCommunity: ProjectInterface = { id: "zkevm-community", - projectStatus: ProjectStatus.ACTIVE, + projectStatus: ProjectStatus.INACTIVE, category: ProjectCategory.DEVTOOLS, section: "pse", content, diff --git a/public/project-banners/sonobe.png b/public/project-banners/sonobe.png new file mode 100644 index 00000000..39c1d759 Binary files /dev/null and b/public/project-banners/sonobe.png differ