| .. |
|
arithmetic.rs
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
пре 4 година |
|
arithmetic.zk
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
пре 4 година |
|
burn.rs
|
047ff319b6
proof: Fix examples for new halo2 API.
|
пре 4 година |
|
burn.zk
|
e00c8e0147
zkas: Separate constants into specific types.
|
пре 4 година |
|
dao.rs
|
cc308da5e0
proof/dao: More WIP, use the VM instead of custom circuit.
|
пре 4 година |
|
dao.zk
|
cc308da5e0
proof/dao: More WIP, use the VM instead of custom circuit.
|
пре 4 година |
|
mint.rs
|
047ff319b6
proof: Fix examples for new halo2 API.
|
пре 4 година |
|
mint.zk
|
e00c8e0147
zkas: Separate constants into specific types.
|
пре 4 година |
|
voting.zk
|
79c59cda17
Move "proofs" to "proof".
|
пре 4 година |
parazyd
cc308da5e0
proof/dao: More WIP, use the VM instead of custom circuit.