227 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
David Rusu	9972df5f23	add create pair test	2025-03-10 11:44:39 +04:00
David Rusu	85b506c7ae	define swap goal note	2025-03-10 10:12:28 +04:00
David Rusu	0060d0f02c	move some tx querys into the tx struct	2025-03-10 07:48:58 +04:00
David Rusu	0dff7f465b	update risc0_images	2025-03-10 07:05:13 +04:00
David Rusu	21eda6cbb1	update swapvm to use new tx structure	2025-03-10 07:04:20 +04:00
David Rusu	363cf8f038	expose tx data	2025-03-10 07:01:34 +04:00
David Rusu	1fd5128b57	update mantle proofs	2025-03-09 00:25:02 +04:00
David Rusu	5e0b2fe174	use btreemap for zoneid -> ledgerupdate mapping	2025-03-09 00:20:02 +04:00
David Rusu	a85b306baa	ledger maintains append only bundle MMR as well	2025-03-08 21:30:40 +04:00
David Rusu	62312074cc	remove module scoping from risc0_images	2025-03-08 21:24:54 +04:00
David Rusu	deb094c03c	update risc0 images	2025-03-07 02:00:35 +04:00
David Rusu	2e66315315	cleanup risc0_images module names	2025-03-07 01:53:53 +04:00
David Rusu	8e2da63b18	deprecate risc0-build	2025-03-07 01:33:18 +04:00
David Rusu	98a75dfabb	update risc0 images	2025-03-06 01:25:44 +04:00
David Rusu	436ee4a830	drop risc0_images_police; simplify risc0_images features	2025-03-06 01:21:11 +04:00
David Rusu	efaff2b982	update proof images	2025-03-06 01:14:40 +04:00
David Rusu	061ec224be	fix ledger_elf reference	2025-03-06 00:59:10 +04:00
David Rusu	48fa0e9378	generate risc0 images	2025-03-06 00:23:49 +04:00
David Rusu	138f6cfb1c	move to reproducible builds vis cargo risczero build	2025-03-05 23:22:26 +04:00
Giacomo Pasini	40961e0e4c	remove redundant references	2025-03-04 19:04:52 +01:00
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