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

..
chacha
io
u32
add.ash
assert_eq.ar1cs
assert_eq.tasm
crash.ar1cs
crash.tasm
mod.ash
mul.ash
poseidon.ash
pow5.ash
pow5_static.ash
sqrt.ar1cs
sum.ash

1
2
3

() -> ()

0 = (1*one) * (0*one) - (0*one) # this constraint always fails