| .. |
|
proof
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 lat temu |
|
src
|
71cd3064d6
Update license year.
|
3 lat temu |
|
Cargo.toml
|
192345659a
Release v0.4.0
|
3 lat temu |
|
Makefile
|
0ec12571e9
example/dao: update makefile to compile zk proofs too
|
3 lat temu |