ashlang-0.1.3
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

ashlang 0.1.3

A language for zero knowledge proofs

Crate
Source
Builds
Feature flags

..
read_public_input.ar1cs
read_public_input.tasm
read_secret_input.ar1cs
read_secret_input.tasm
write_output.ar1cs
write_output.tasm

() -> _

divine 1
return