Easy-to-use Sigma proofs in C using libsodium.
-
Updated
Feb 26, 2026 - C
Easy-to-use Sigma proofs in C using libsodium.
[PRE-ALPHA] Complete technical reference for SigmaState interpreter, ErgoTrees, and Sigma language. Not authoritative—verify against source.
Additively homomorphic ElGamal over BN254, with the Sigma protocols that make it useful on-chain: DLEQ decryption, multi-key amount equality, re-encryption, ciphertext-commitment equality, and proof of possession.
A zero-knowledge proof system in Rust by Pavan Nallamothu (pavanchow): Schnorr, Pedersen, range, equality, and ring proofs from scratch, no elliptic curves.
Zero-knowledge memory for local and sovereign AI — the operator cannot read it, and you can prove things about it without saying which record you mean
To associate your repository with the sigma-protocols topic, visit your repo's landing page and select "manage topics."