| .. |
|
arithmetic.zk
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 år sedan |
|
burn.zk
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
4 år sedan |
|
deploy_contract.zk
|
976fc6ceaa
proof/deploy_contract: Syntax fix.
|
3 år sedan |
|
encrypt.zk
|
488e72c803
proof/encrypt.zk: Update with necessary types and opcodes.
|
3 år sedan |
|
inclusion_proof.zk
|
ee108d0147
zk inclusion proof example
|
3 år sedan |
|
lead.zk
|
0a8392897e
[consensus] lottery with headstart, for zero-stake participation
|
3 år sedan |
|
mint.zk
|
3686c32591
cherry picked fullwidth pedersen
|
4 år sedan |
|
opcodes.zk
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
3 år sedan |
|
tx.zk
|
8167f81e95
[consensus/stx] verify stx
|
3 år sedan |
|
voting.zk
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
4 år sedan |
x
ee108d0147
zk inclusion proof example