parazyd 4e3b863cda Release v0.4.1 %!s(int64=3) %!d(string=hai) anos
..
proof 1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. %!s(int64=3) %!d(string=hai) anos
src 71cd3064d6 Update license year. %!s(int64=3) %!d(string=hai) anos
Cargo.toml 4e3b863cda Release v0.4.1 %!s(int64=3) %!d(string=hai) anos
Makefile 0ec12571e9 example/dao: update makefile to compile zk proofs too %!s(int64=3) %!d(string=hai) anos