 aggstam
|
57751b2007
contrib/localnet/darkfid-small added
|
3 tahun lalu |
|
mohab metwally
|
08eb5936bb
transfer transaction based off lead coin
|
3 tahun lalu |
|
aggstam
|
e2d7d0d321
consensus/constants: increades LEADER_PROOF_K to 13
|
3 tahun lalu |
|
aggstam
|
b2a4b672b8
blockchain: removed redundant code, fmt
|
3 tahun lalu |
|
mohab metwally
|
1b532aae20
leadcontract, txcontract removed
|
3 tahun lalu |
|
mohab metwally
|
fcc5fa05fd
update leadcoin in state
|
3 tahun lalu |
|
mohab metwally
|
16d90b3bfa
fix witnesses
|
3 tahun lalu |
|
mohab metwally
|
37cbd2e152
update public_inputs, and lead circuit
|
3 tahun lalu |
|
aggstam
|
ee10a54648
consensus: major changes implemented
|
3 tahun lalu |
|
parazyd
|
4d3b8a10b8
faucetd: Build money transfer transaction.
|
3 tahun lalu |
|
parazyd
|
e07f035c62
faucetd: Initialization of wallet and zkvm keys.
|
3 tahun lalu |
|
parazyd
|
8bc645098e
crypto/proof: Remove test unit.
|
3 tahun lalu |
|
parazyd
|
a5fc5528de
proof/opcodes.zk: Fix typo
|
3 tahun lalu |
|
parazyd
|
d4cfefe132
Remove obsolete node module.
|
3 tahun lalu |
|
parazyd
|
4886b0ec0b
Remove old obsolete tx module and replace with tx2.
|
3 tahun lalu |
|
parazyd
|
fec2304dd8
contract/money: Implement transaction builder.
|
3 tahun lalu |
|
mohab metwally
|
43f6521a2f
proof/tx.zk fix witness, and constrains
|
3 tahun lalu |
|
mohab metwally
|
6771e023a7
fix lead.zk
|
3 tahun lalu |
|
parazyd
|
d892e2fc53
Get darkfid compiling again
|
3 tahun lalu |
|
mohab metwally
|
fa89bae1bf
[proof] fix c3/c4 constrained commitments
|
3 tahun lalu |
|
mohab metwally
|
a12042678a
use new constrain_equal sig
|
3 tahun lalu |
|
mohab metwally
|
c4e0748dc7
fix typo
|
3 tahun lalu |
|
parazyd
|
5176dc7df0
zkas: Add opcodes for equality constraints of Base and EcPoint.
|
3 tahun lalu |
|
mohab metwally
|
764fd812e5
proof/tx.zk, proof/lead.zk witness const pallas::Base in zkas
|
3 tahun lalu |
|
mohab metwally
|
ccfcc59e09
missing quote
|
3 tahun lalu |
|
mohab metwally
|
33d2aecf00
proof/tx.zk created
|
3 tahun lalu |
|
mohab metwally
|
b94c3e3413
lead circuit in zkas
|
3 tahun lalu |
|
parazyd
|
3049839993
example/crypsinous: Minor compile fixes
|
3 tahun lalu |
|
parazyd
|
3a4efc1d74
contract/money: Merge cashier and faucet pubkeys into one.
|
3 tahun lalu |
|
parazyd
|
d08bba325d
drk: Begin rewrite for money contract interaction.
|
3 tahun lalu |
