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.

Updated 11 hours ago

cmz
2 0

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

Updated 11 hours ago

The artifact for our USENIX Security paper

Updated 1 month ago

People