| .. |
|
circuit
|
1b532aae20
leadcontract, txcontract removed
|
3 years ago |
|
gadget
|
bbf6635abd
zk/gadget: Allow more refined configuration of advice columns.
|
3 years ago |
|
mod.rs
|
8ae84ad7f9
Add license header to source files.
|
3 years ago |
|
vm.rs
|
64aaaa8dd9
zk/vm: Use trace loglevel instead of debug.
|
3 years ago |
|
vm_stack.rs
|
8b648874d5
zk/vm: Shorten From impls with a macro.
|
3 years ago |