parazyd 192345659a Release v0.4.0 преди 3 години
..
proof 1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. преди 3 години
src 71cd3064d6 Update license year. преди 3 години
Cargo.toml 192345659a Release v0.4.0 преди 3 години
Makefile 0ec12571e9 example/dao: update makefile to compile zk proofs too преди 3 години