x ee108d0147 zk inclusion proof example

2023-01-29 13:05:13 +01:00

..

arithmetic.zk

zk/vm: Allow strict and loose checks for less_than.

2022-11-21 10:20:04 +01:00

burn.zk

Update zkas proofs merkle root opcode.

2022-08-29 22:41:23 +02:00

deploy_contract.zk

proof/deploy_contract: Syntax fix.

2022-10-14 02:29:31 +02:00

encrypt.zk

proof/encrypt.zk: Update with necessary types and opcodes.

2022-12-16 14:13:19 +01:00

inclusion_proof.zk

zk inclusion proof example

2023-01-29 13:05:13 +01:00

lead.zk

[consensus] lottery with headstart, for zero-stake participation

2023-01-25 21:46:19 +02:00

mint.zk

crypto: Rework pedersen commitments to allow also full-width base inside zk.

2022-08-08 15:01:11 +02:00

opcodes.zk

zkas: Implement EcNiPoint type and EcMulVarBase opcode.

2022-12-16 14:11:59 +01:00

tx.zk

[consensus/stx] verify stx

2022-11-21 14:09:29 +02:00

voting.zk

Update zkas proofs merkle root opcode.

2022-08-29 22:41:23 +02:00