Anonymous. Uncensored. Sovereign. https://dark.fi

narodnik 20424ce011 pism %!s(int64=5) %!d(string=hai) anos
proofs 20424ce011 pism %!s(int64=5) %!d(string=hai) anos
scripts 20424ce011 pism %!s(int64=5) %!d(string=hai) anos
src ab490a0fa1 show num constraints for PH %!s(int64=6) %!d(string=hai) anos
Cargo.toml 3d5d234fb8 update %!s(int64=6) %!d(string=hai) anos
README.md 99dcc69b6d compiler now outputting rust code %!s(int64=5) %!d(string=hai) anos
compile.sh f92656c8be script to make a compile test %!s(int64=5) %!d(string=hai) anos

README.md

cargo run --bin blake --release
cargo run --bin sha256 --release
cargo run --bin mimc --release
cargo run --bin zec --release

Compiler

python scripts/parser.py proofs/sapling3.prf | rustfmt