darkrenaissance/darkfi

作者	SHA1 备注	提交日期
parazyd	be9013ed31 zkas: Rename "contract" to "witness".	3 年之前
parazyd	1c2613f3f4 zk/vm: Allow strict and loose checks for less_than.	3 年之前
parazyd	6215fc7bd6 zk: Port code to latest Halo2 API.	4 年之前
parazyd	3447c87dd8 zkas, vm: Implement greater_than opcode for scalar comparison.	4 年之前
parazyd	230ff6fcc6 zk: Add base_sub opcode to VM and arithmetic chip.	4 年之前
parazyd	b07bb4e2b0 proof: Add example for arithmetic operations.	4 年之前