| .. |
|
arithmetic.zk
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
il y a 3 ans |
|
burn.zk
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
il y a 4 ans |
|
deploy_contract.zk
|
976fc6ceaa
proof/deploy_contract: Syntax fix.
|
il y a 3 ans |
|
encrypt.zk
|
488e72c803
proof/encrypt.zk: Update with necessary types and opcodes.
|
il y a 3 ans |
|
lead.zk
|
9a376a84d0
[consensus] y in is_lead fixed from commitment to hash, similar to the circuit
|
il y a 3 ans |
|
mint.zk
|
3686c32591
cherry picked fullwidth pedersen
|
il y a 4 ans |
|
opcodes.zk
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
il y a 3 ans |
|
tx.zk
|
8167f81e95
[consensus/stx] verify stx
|
il y a 3 ans |
|
voting.zk
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
il y a 4 ans |
mohab metwally
9a376a84d0
[consensus] y in is_lead fixed from commitment to hash, similar to the circuit