Native UltraHonk proving for any Noir circuit through the local Presto app: a drop-in for @aztec/bb.js's UltraHonkBackend that falls back to WASM.

The goal of this module is to provide a simple place for people to construct benchmarks of witness generation and proving. At the moment it only pertains to UltraHonk recursion in the browser, but we have a similar module in ivc-integration that shows pro

AffixIO Node.js SDK. Know Your Agent (KYA) first, local ops dashboard, licence-only proving, HMAC/UltraHonk, ML-DSA-65, Merkle audit. Defaults to api.affix-io.com.

Generic Soroban referee contract + vendored UltraHonk verifier for zkTable

TypeScript SDK for generating and verifying [Xochi ZKP](https://github.com/xochi-fi/erc-xochi-zkp) compliance proofs. Produce EVM-compatible zero-knowledge proofs client-side using Noir circuits and Barretenberg UltraHonk.

Pre-built Noir (UltraHonk) circuits + witness builders for zkTable modules

Conformant TypeScript client for OpenZeppelin Confidential Tokens on Stellar — implements the SDK.md client obligations (key derivation, witness building, UltraHonk proving, local state, selective disclosure).

Browser-side UltraHonk prover helpers for zkTable board moves

Privacy for STX and SIP-10 tokens in minutes. Shield, transfer, split, merge and withdraw with zero-knowledge proofs — without touching Noir, zkVerify, Merkle trees, nullifiers or relayers.

Unified buyer, seller, transport, and facilitator primitives for confidential Stellar x402 payments

Blackout: Scotland-Yard-style hidden pursuit, the zkTable flagship game (defineGame + real ZK-verified hidden moves)

A library of noir programs used by Hyli.

Zero-knowledge proof system for API metering using Noir and bb.js

Zero-knowledge credential toolkit - issue, prove, and verify credentials without revealing private data

Submit proofs to zkVerify and query proof state with ease using our npm package.

Confidential USDC on Stellar — client library with in-browser zero-knowledge proving

Client SDK for the Beacon ZK proof oracle — generate membership proofs and verify them on-chain via the VerifierHub.

Helpers utilities for Noir proofs and input generation.

Client-side zero-knowledge UltraHonk prover MCP server for Energy Web verified compute.