| .. |
|
arithmetic.zk
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
преди 3 години |
|
burn.zk
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
преди 4 години |
|
deploy_contract.zk
|
976fc6ceaa
proof/deploy_contract: Syntax fix.
|
преди 3 години |
|
lead.zk
|
6c27aae820
[consensus/state] verify eta/mu public values
|
преди 3 години |
|
mint.zk
|
3686c32591
cherry picked fullwidth pedersen
|
преди 4 години |
|
opcodes.zk
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
преди 3 години |
|
tx.zk
|
8167f81e95
[consensus/stx] verify stx
|
преди 3 години |
|
voting.zk
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
преди 4 години |
mohab metwally
6c27aae820
[consensus/state] verify eta/mu public values