mohab metwally 6c27aae820 [consensus/state] verify eta/mu public values

2022-11-25 16:26:35 +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

lead.zk

[consensus/state] verify eta/mu public values

2022-11-25 16:26:35 +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

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

2022-11-21 10:20:04 +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