SigmaProtocol/sigma-compiler: 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. @ f00799f8dd734e9f7c90622fb48f2428c26431ce - CrySP Git Service

123456

#!/bin/bash

set -e

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