| .. |
|
proof
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 лет назад |
|
src
|
71cd3064d6
Update license year.
|
3 лет назад |
|
Cargo.toml
|
4e3b863cda
Release v0.4.1
|
3 лет назад |
|
Makefile
|
0ec12571e9
example/dao: update makefile to compile zk proofs too
|
3 лет назад |