SigmaProtocol

Crate for automatically generating code for sigma zero-knowledge proof protocols of more complex statements than are supported by the sigma-proofs crate. The statements given to this crate are compiled into statements about linear combinations of points, and transformed into the sigma-proofs API.

Последна модификация преди 1 седмица

cmz
2 0

A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.

Последна модификация преди 1 седмица

The artifact for our USENIX Security paper

Последна модификация преди 1 месец

Участници