 mohab metwally
|
78c626b941
remove tx validation, moved to transferstx
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
aeb13a0dba
doc/architecture/consensus: ascii sympols updated
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
0818f9b388
doc/architecture/consensus: tupo
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
1c5c02671f
doc/architecture: consensus chapter added
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
f93d87c7d3
consensus: replace winning coin with derived one
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
a1a2da8394
contract/money: Finalize integration test with zk proof verification
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
38b3048da3
cargo fmt
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
e2c22c28aa
contract/money: Implement integration test.
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
8167f81e95
[consensus/stx] verify stx
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
2c7b54c702
[consensus/tx] transfer tx fixed
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
2f4046b79f
[consensus/rect] take coin pk out of TxRcpt, coin ID is owned by stakeholder
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
93f06ea754
[consensus/rcpt] encrypted TxRcpt of transfer Tx
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
856ebd9c4a
added derived lead coin, and removed derived coin nonce from public inputs
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
5be1bcf5c8
contrib/localnet/darkfid-five-nodes added for consensus testing
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
5b26ce4efb
script/research/nodes-tool: fixed broken import
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
a41ef16c83
proof/tx.zk use nullifier_k in pedersen
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
d117643e48
lead.zk, consnsus/leadcoin.rs fixed lead contract commitments, prefixes, pk, and changed vm lessthan to non strict
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
106bd37525
adhoc minimal lead proof
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
aa356a00bd
fix typo in tx.zk
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
34f4d94c0d
Makefile: bins should depend on zk proofs.
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
57751b2007
contrib/localnet/darkfid-small added
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
08eb5936bb
transfer transaction based off lead coin
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
e2d7d0d321
consensus/constants: increades LEADER_PROOF_K to 13
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
b2a4b672b8
blockchain: removed redundant code, fmt
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
1b532aae20
leadcontract, txcontract removed
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
fcc5fa05fd
update leadcoin in state
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
16d90b3bfa
fix witnesses
|
%!s(int64=3) %!d(string=hai) anos |
|
mohab metwally
|
37cbd2e152
update public_inputs, and lead circuit
|
%!s(int64=3) %!d(string=hai) anos |
|
aggstam
|
ee10a54648
consensus: major changes implemented
|
%!s(int64=3) %!d(string=hai) anos |
