| .. |
|
circuit
|
b94c3e3413
lead circuit in zkas
|
3 лет назад |
|
gadget
|
bbf6635abd
zk/gadget: Allow more refined configuration of advice columns.
|
3 лет назад |
|
mod.rs
|
8ae84ad7f9
Add license header to source files.
|
3 лет назад |
|
vm.rs
|
5176dc7df0
zkas: Add opcodes for equality constraints of Base and EcPoint.
|
3 лет назад |
|
vm_stack.rs
|
8b648874d5
zk/vm: Shorten From impls with a macro.
|
3 лет назад |