Directories
¶
| Path | Synopsis |
|---|---|
|
Package dlog provides helpers for sigma proofs related to discrete logarithms.
|
Package dlog provides helpers for sigma proofs related to discrete logarithms. |
|
batch_schnorr
Package batch_schnorr provides batch Schnorr protocol.
|
Package batch_schnorr provides batch Schnorr protocol. |
|
schnorr
Package schnorr implements the regular Schnorr proof of knowledge of dlog.
|
Package schnorr implements the regular Schnorr proof of knowledge of dlog. |
|
internal
|
|
|
paillier
|
|
|
lp
Package lp provides implementation of zero knowledge proof of valid Paillier public key.
|
Package lp provides implementation of zero knowledge proof of valid Paillier public key. |
|
lpdl
Package lpdl provides zero-knowledge proof that a value encrypted in a given Paillier ciphertext is the discrete log of a given Elliptic curve point.
|
Package lpdl provides zero-knowledge proof that a value encrypted in a given Paillier ciphertext is the discrete log of a given Elliptic curve point. |
|
nthroot
Package nthroot provides implementation of zero-knowledge proof of knowledge of Nth root.
|
Package nthroot provides implementation of zero-knowledge proof of knowledge of Nth root. |
|
pailliern
Package pailliern provides implementation of zero knowledge proof of valid Paillier public key.
|
Package pailliern provides implementation of zero knowledge proof of valid Paillier public key. |
|
range
Package paillierrange provides a range proof.
|
Package paillierrange provides a range proof. |
|
Package sigma defines a generic interface for sigma protocols and interactive compiler for running it in round-based setup where:.
|
Package sigma defines a generic interface for sigma protocols and interactive compiler for running it in round-based setup where:. |
|
compiler
Package compiler provides compilers that transform interactive sigma protocols into non-interactive zero-knowledge proofs of knowledge (NIZKPoK).
|
Package compiler provides compilers that transform interactive sigma protocols into non-interactive zero-knowledge proofs of knowledge (NIZKPoK). |
|
compiler/fiatshamir
Package fiatshamir implements the Fiat-Shamir transform for compiling interactive sigma protocols into non-interactive zero-knowledge proofs.
|
Package fiatshamir implements the Fiat-Shamir transform for compiling interactive sigma protocols into non-interactive zero-knowledge proofs. |
|
compiler/fischlin
Package fischlin implements the Fischlin transform for compiling interactive sigma protocols into non-interactive zero-knowledge proofs with UC security.
|
Package fischlin implements the Fischlin transform for compiling interactive sigma protocols into non-interactive zero-knowledge proofs with UC security. |
|
compiler/internal
Package internal defines the core interfaces for non-interactive zero-knowledge proof compilers.
|
Package internal defines the core interfaces for non-interactive zero-knowledge proof compilers. |
|
compiler/randfischlin
Package randfischlin implements a randomised variant of Fischlin's transform for compiling interactive sigma protocols into non-interactive zero-knowledge proofs.
|
Package randfischlin implements a randomised variant of Fischlin's transform for compiling interactive sigma protocols into non-interactive zero-knowledge proofs. |
|
compiler/zk
Package zk implements a zero-knowledge compiler that transforms honest-verifier zero-knowledge (HVZK) sigma protocols into fully zero-knowledge interactive protocols using commitment schemes.
|
Package zk implements a zero-knowledge compiler that transforms honest-verifier zero-knowledge (HVZK) sigma protocols into fully zero-knowledge interactive protocols using commitment schemes. |
|
compose/sigand
Package sigand implements AND composition of sigma protocols.
|
Package sigand implements AND composition of sigma protocols. |
|
compose/sigor
Package sigor implements OR composition of sigma protocols.
|
Package sigor implements OR composition of sigma protocols. |
Click to show internal directories.
Click to hide internal directories.