barretenberg

Prove you are eligible to any RWA policy - Privately

ROFL implementation for ZK FastApi Safe endpoint

Noir ZK circuits for SIP Protocol - Funding, Validity, Fulfillment proofs

Zero-knowledge property title verification system using Noir — prove clean ownership, no encumbrances, and valid license without exposing registry data.

Zero-knowledge circuits for sensor-based photo provenance (Noir / UltraHonk)

ZK scoped authorization for AI agents using Noir, Barretenberg, EAS-style identity attestations, and committed policy roots.

Privacy-preserving ZK payment pool on Stellar. Noir circuits, Soroban smart contract, and SEP-10/12 KYC integration.

Foundry template for building ZK applications with Noir circuits on Avalanche

Noir ZK circuit verifying ECDSA secp256k1 signatures + recovered Ethereum address. UltraHonk (bb) proof pipeline, Foundry Solidity verifier + React/Vite frontend for Sepolia verification.

Parallel ZK proof aggregation service.

A DeFi lending protocol with ZK circuit proving creditworthiness completely off-chain.

A ZK Panagram app built using Turborepo, Next.js, Wagmi, Viem, Solidity, OpenZeppelin, Noir, NoirJS, and Barretenberg.

Pure-Go UltraHonk proof verifier for BN254. Verify Noir circuit proofs natively in Go without Barretenberg.

proof-of-solvency protocol that allows an asset custodian to prove liabilities coverage using Merkle-Tree and Poseidon Hash Algorithm