parazyd 454eacf616 Update project dependencies. 3 年 前
..
proof 1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. 3 年 前
src 71cd3064d6 Update license year. 3 年 前
Cargo.toml 454eacf616 Update project dependencies. 3 年 前
Makefile 0ec12571e9 example/dao: update makefile to compile zk proofs too 4 年 前