 parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
преди 3 години |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
преди 3 години |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
преди 3 години |
|
mohab metwally
|
0a8392897e
[consensus] lottery with headstart, for zero-stake participation
|
преди 3 години |
|
mohab metwally
|
f853d113a2
pruning
|
преди 3 години |
|
mohab metwally
|
9a376a84d0
[consensus] y in is_lead fixed from commitment to hash, similar to the circuit
|
преди 3 години |
|
aggstam
|
4ff042dde9
consensus/leadcoin: renamed tau to slot
|
преди 3 години |
|
aggstam
|
8f7ae3f6e9
consensus: slot configuration updated, transactions per proposal cap added
|
преди 3 години |
|
mohab metwally
|
f5fbddbeb7
[consensus
|
преди 3 години |
|
mohab metwally
|
9c1b3ff750
merge conflict resolved
|
преди 3 години |
|
mohab metwally
|
d80d02ff04
[consensus] clip f value, pruned nonce_cm for lead coin, commented derived coins
|
преди 3 години |
|
mohab metwally
|
da64f6115b
[consensus] reward for leaders
|
преди 3 години |
|
mohab metwally
|
015dd222e0
[consensus] validate public values sigmas
|
преди 3 години |
|
mohab metwally
|
6c27aae820
[consensus/state] verify eta/mu public values
|
преди 3 години |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
преди 3 години |
|
mohab metwally
|
856ebd9c4a
added derived lead coin, and removed derived coin nonce from public inputs
|
преди 3 години |
|
mohab metwally
|
d117643e48
lead.zk, consnsus/leadcoin.rs fixed lead contract commitments, prefixes, pk, and changed vm lessthan to non strict
|
преди 3 години |
|
mohab metwally
|
106bd37525
adhoc minimal lead proof
|
преди 3 години |
|
mohab metwally
|
37cbd2e152
update public_inputs, and lead circuit
|
преди 3 години |
|
mohab metwally
|
6771e023a7
fix lead.zk
|
преди 3 години |
|
mohab metwally
|
c4e0748dc7
fix typo
|
преди 3 години |
|
mohab metwally
|
764fd812e5
proof/tx.zk, proof/lead.zk witness const pallas::Base in zkas
|
преди 3 години |
|
mohab metwally
|
33d2aecf00
proof/tx.zk created
|
преди 3 години |
|
mohab metwally
|
b94c3e3413
lead circuit in zkas
|
преди 3 години |
