-
fsqlite-mvcc
MVCC page-level versioning for concurrent writers
-
circom-witnesscalc
Witness calculator for Circom circuits
-
circom-prover
Circom prover is a Rust library for generating and verifying proofs for Circom circuits
-
sirno
gives project design a semantic intermediate representation
-
provekit-prover
ProveKit prover for generating zero-knowledge proofs
-
provekit-common
Common types and utilities for the ProveKit proving system
-
provekit-cli
ProveKit CLI for generating and verifying zero-knowledge proofs
-
pai_openai_adapter
OpenAI-compatible API adapter for PAI-Kernel · pre-request gate evaluation + post-response witness chain entry · reference middleware
-
pai_mcp
MCP (Model Context Protocol) adapter for PAI-Kernel · exposes governance daemon API as MCP tools · reference integration
-
pai_api
HTTP governance API for PAI-Kernel · axum-based · auto-appends mutation endpoints to witness chain per PAI-CD v2.2
-
ruvector-rulake
ruLake — vector-native federation intermediary over heterogeneous backends (ADR-155)
-
rulake
— vector-native federation intermediary over heterogeneous backends (ADR-155)
-
witness-gateway
Gateway server that aggregates witness signatures for timestamping
-
provekit_acvm
The virtual machine that processes ACIR given a backend/proof system
-
witnesscalc-adapter
run witnesscalc in rust
-
hxrts-aura-consensus
Single-shot consensus protocol for non-monotone operations in Aura
-
swt3-ai
SWT3 AI Witness SDK: cryptographic attestation for AI inference. 47 procedures, 5 languages, 7 profiles. EU AI Act, NIST AI RMF, CMMC, SR 11-7.
-
binary-search
Generic binary search implementation
-
witness-node
Individual witness node server for the Witness timestamping system
-
pai_witness
Append-only witness chain for PAI-Kernel governance · hash-linked tamper-evident records per PAI-CD v2.2 Decision Log Principles §P2 §P4
-
yantrikdb-witness
YantrikDB cluster witness — vote-only daemon for 2-node Raft failover (tiny tiebreaker)
-
qssm-le
lattice engine facade (reference stub — not LaBRADOR)
-
graphum
Safe wrappers around OGDF planarity routines via ogdf-sys
-
cslint-core
Constraint-system IR, analyses, and diagnostics for noir-halo2-lint
-
vex-chora
Native bridge to the external CHORA witness network
-
lilium-lcs
Lilium's circuit building utilities
-
sigma-proof-compiler
creating and verifying sigma protocols (zero-knowledge proofs of knowledge) using symbolic computation over elliptic curves
-
ashlang
A language for zero knowledge proofs
-
simplicityhl
Rust-like language that compiles to Simplicity bytecode
-
zkinterface-libsnark
Wrapper for libsnark / gadgetlib through zkInterface
-
libbrat-config
Configuration management for Brat
-
cisness
Runtime 'live witness' of two types being the same
-
halo2-base
Embedded domain specific language (eDSL) for writing circuits with the
halo2API. It simplifies circuit programming to declaring constraints… -
bear_witness
Examples of type witness in Rust
-
provekit-r1cs-compiler
R1CS compiler for ProveKit, translating Noir programs to R1CS constraints
-
rln
APIs to manage, compute and verify zkSNARK proofs and RLN primitives
-
pallas-primitives
Ledger primitives and cbor codec for the different Cardano eras
-
cks_accumulator
Pairing based accumulator from the paper - An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials
-
ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
-
zcash_voting
Client-side library for Zcash shielded voting: ZKP delegation and vote-commitment proofs (Halo 2), ElGamal encryption, governance PCZT construction, Merkle witness generation, and SQLite round-state persistence
-
bellpepper-core
Core elements for a SNARK Circuit library
-
proof_system
Proof system to comprise various cryptographic primitives
-
provekit-gnark
Gnark integration for ProveKit
-
witness
run commands when a file is modified or upon receiving TCP/UDP packets
-
semaphore-rs-witness
Rust support library for Semaphore
-
dkms-wasm
Decentralised Key Management System WebAssembly bindings
-
simfony
Rust-like language that compiles to Simplicity bytecode
-
acvm
The virtual machine that processes ACIR given a backend/proof system
-
numwit
witness types and operations for numbers which are positive or negative (but not zero)
-
worldcoin-ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
-
snarkvm-circuit-environment-witness
A procedural macro to construct a witness in an environment
-
sigma-proof-compiler-derive
Derive macros for sigma-proof-compiler
-
zkutil
working with circom circuits
-
rhododendron
Asynchronously safe BFT protocol, futures-based implementation
Try searching with DuckDuckGo.