sigma-compiler 0.1.0

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.
Documentation 
1
2
3
4
5
6

#!/bin/bash

set -e

git pull https://git-crysp.uwaterloo.ca/SigmaProtocol/sigma-compiler main --tags
git push origin main --tags