parazyd 5176dc7df0 zkas: Add opcodes for equality constraints of Base and EcPoint. 3 лет назад
..
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 лет назад