Giacomo Pasini
9368040555
add redeem shares
2025-03-03 18:58:23 +01:00
Giacomo Pasini
0459726080
Remove tx from swap and check shares are credited to the correct pk
2025-03-03 18:29:39 +01:00
Giacomo Pasini
7acd344a6c
add sketch for lp ops
2025-03-03 12:30:38 +01:00
Giacomo Pasini
42817aceee
Add arg field to UnitWitness
2025-03-03 12:30:38 +01:00
Giacomo Pasini
44a8b6b1ff
check pool balances at the end
2025-03-03 12:30:38 +01:00
Giacomo Pasini
ce6569b7a5
Finish implementation of the stf
2025-03-03 12:30:38 +01:00
Giacomo Pasini
447efee968
add initial sketch of swapvm stf
2025-03-03 12:30:38 +01:00
Giacomo Pasini
ec65ece77b
initial swap vm implementaiton
2025-03-03 12:30:38 +01:00
davidrusu
2622908bcd
Cleanup cross zone transfer ( #52 )
...
* builder apis
* drop unused nonce import
* zone witness in cross zone transfer scenario
* add cms to the ledger when proving
* Reliable risc0 recursion (#53 )
* introduce risc0_images and risc0_images_police
* static instead of const for elfs
* gen images in a loop to resolve id changes due to recursion
* r0_proofs reference each other through risc0_images when recursing
* update ledger to use risc0_images
* remove debug panics
---------
Co-authored-by: Giacomo Pasini <g.pasini98@gmail.com>
2025-03-03 12:09:35 +01:00
Giacomo Pasini
dc2fd35894
Sync Bedrock with latest spec ( #49 )
...
* update cl
* move zoneid into NoteWitness
* Update emmarin/cl/ledger_proof_statements/src/ledger.rs
Co-authored-by: davidrusu <davidrusu.me@gmail.com>
* update
* update note cm order
* remove NoteWitness
* mv indexed and merkle into /ds/; rework padded_leaves interface
* ledger cross zone update test is now passing
* clippy
* pad nullifiers in cross zone update test
* print user and total cycles for each proof
* only publish sync logs for cross zone bundles
---------
Co-authored-by: davidrusu <davidrusu.me@gmail.com>
2025-02-18 11:41:57 +01:00
davidrusu
3e7c8c2351
Merge pull request #44 from logos-co/cryptarchia-fork-choice
...
Cryptarchia fork choice experiments
2025-02-11 18:32:07 +04:00
Giacomo Pasini
283a3b8d4d
Add nullifier tree ( #48 )
...
* Add nullifier tree
* precompute root hashes
* fix nf tree
* efficient serializatoin
* add tests
2025-02-11 15:30:06 +01:00
Giacomo Pasini
573ffab7a2
use included sha ( #47 )
2025-01-07 11:27:01 +01:00
Giacomo Pasini
236a0d0d47
compact serialization ( #46 )
2025-01-02 14:42:49 +01:00
davidrusu
edec3632f1
Merge pull request #45 from logos-co/drusu/sparse_merkle_tree_nullifiers
...
PACT: Sparse Merkle Tree & Rework proof recusion
2024-12-11 21:17:04 +04:00
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
davidrusu
0faceaab5e
Merge pull request #43 from logos-co/emmarin-poc
...
PoC ledger partition and note teleportation
2024-11-28 11:51:30 +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
David Rusu
1846b7b82b
cryptarchia fork choice experiments
2024-11-25 19:28:53 +04: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
thomaslavaur
5c7ff0fad5
Last update
2024-09-25 14:14:48 +02:00
thomaslavaur
0635a277d7
Addvances in the verifier script of 09/24/24
2024-09-25 09:40:17 +02:00
thomaslavaur
788a57a6e7
Move experiments here
2024-09-20 10:11:08 +02:00
thomaslavaur
893ab94ce0
Merge pull request #41 from logos-co/origin/master
...
fix poseidon error
2024-09-11 13:37:16 +02:00
thomaslavaur
4af413b3ac
fix minor poseidon error (hash is now truncation of the addition of the state elements) instead of the addition of the entire state
2024-09-11 10:50:21 +02:00
thomaslavaur
e6165cd064
Merge pull request #40 from logos-co/PoE
...
add proof of equivalence PoC
2024-09-11 09:31:21 +02:00
thomaslavaur
fb7ed0ddeb
remove unwanted files
2024-09-11 09:30:51 +02:00
thomaslavaur
ba564a3f38
add proof of equivalence PoC
2024-09-10 16:02:15 +02:00
davidrusu
7baa1caf77
Merge pull request #39 from logos-co/goas/nonce-in-note
...
goas: Rename death constraint to constraint; move nonce into note
2024-08-27 16:06:45 +04:00
David Rusu
1fd4c6bd64
goas: move nonce into note
2024-08-27 15:57:19 +04:00
