David Rusu
|
0c312bdd35
|
rm cl::bundle
|
2024-12-10 21:48:18 +04:00 |
|
David Rusu
|
29cd911654
|
cr comments
|
2024-12-10 20:13:58 +04:00 |
|
David Rusu
|
98f0a3b752
|
rework PACT recursion
|
2024-12-09 15:23:43 +04:00 |
|
David Rusu
|
baaf10a429
|
mv covenant verification into ptx proof
|
2024-12-07 00:32:25 +04:00 |
|
David Rusu
|
fdab50a0e4
|
all working now
|
2024-12-06 23:47:54 +04:00 |
|
David Rusu
|
f8a62fe7c9
|
update ptx proof to use MMR's
|
2024-12-06 15:12:36 +04:00 |
|
David Rusu
|
84cb37240b
|
clippy/get everything building
|
2024-12-06 13:44:53 +04:00 |
|
David Rusu
|
aa57295f4b
|
wip: integrating new ledger into proofs
|
2024-12-06 12:58:00 +04:00 |
|
David Rusu
|
53aa3b75c0
|
mv sparse merkle tree to cl
|
2024-12-06 12:34:28 +04:00 |
|
David Rusu
|
0056486a6c
|
fix off-by-one in sparse merkle tree
|
2024-12-06 11:36:06 +04:00 |
|
David Rusu
|
bd1f928e00
|
pre-compute empty trees
|
2024-12-05 23:47:52 +04:00 |
|
David Rusu
|
11556f07e8
|
rename smt_ to sparse_
|
2024-12-05 19:32:56 +04:00 |
|
David Rusu
|
51233f62fb
|
emmarin: sparse merkle tree impl
|
2024-12-05 18:46:36 +04:00 |
Giacomo Pasini
|
3415784165
|
typo
|
2024-11-27 18:27:27 +01:00 |
|
Giacomo Pasini
|
7e76a06c75
|
leftover risc0proof update
|
2024-11-27 18:27:19 +01:00 |
|
Giacomo Pasini
|
720836e7f2
|
move zone_id into {input,output}witness
|
2024-11-27 17:17:27 +01:00 |
|
Giacomo Pasini
|
3646971fd9
|
use MMR
|
2024-11-27 11:44:42 +01:00 |
|
Giacomo Pasini
|
a0b9b357da
|
remove limitation of single ptx origin
|
2024-11-25 18:45:00 +01:00 |
|
Giacomo Pasini
|
854fab935b
|
check zone updates
|
2024-11-25 13:06:53 +01:00 |
|
Giacomo Pasini
|
a76bb268a1
|
uniform ptx and pacts
|
2024-11-22 18:15:56 +01:00 |
|
Giacomo Pasini
|
a940705b01
|
add zone layer txs
|
2024-11-20 18:19:36 +01:00 |
|
Giacomo Pasini
|
afd9bafb79
|
move to zone_layer
|
2024-11-20 15:46:35 +01:00 |
|
Giacomo Pasini
|
ec5cd13d46
|
emmarin
|
2024-11-19 12:42:50 +01:00 |