 mohab metwally
|
015dd222e0
[consensus] validate public values sigmas
|
3 years ago |
|
mohab metwally
|
6c27aae820
[consensus/state] verify eta/mu public values
|
3 years ago |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 years ago |
|
mohab metwally
|
856ebd9c4a
added derived lead coin, and removed derived coin nonce from public inputs
|
3 years ago |
|
mohab metwally
|
d117643e48
lead.zk, consnsus/leadcoin.rs fixed lead contract commitments, prefixes, pk, and changed vm lessthan to non strict
|
3 years ago |
|
mohab metwally
|
106bd37525
adhoc minimal lead proof
|
3 years ago |
|
mohab metwally
|
37cbd2e152
update public_inputs, and lead circuit
|
3 years ago |
|
mohab metwally
|
6771e023a7
fix lead.zk
|
3 years ago |
|
mohab metwally
|
c4e0748dc7
fix typo
|
3 years ago |
|
mohab metwally
|
764fd812e5
proof/tx.zk, proof/lead.zk witness const pallas::Base in zkas
|
3 years ago |
|
mohab metwally
|
33d2aecf00
proof/tx.zk created
|
3 years ago |
|
mohab metwally
|
b94c3e3413
lead circuit in zkas
|
3 years ago |
