aggstam 4ff042dde9 consensus/leadcoin: renamed tau to slot

2022-12-27 17:08:24 +02: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

lead.zk

consensus/leadcoin: renamed tau to slot

2022-12-27 17:08:24 +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