146 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Giacomo Pasini	f6a3d30039	tmp	2024-12-23 17:34:14 +01:00
Giacomo Pasini	720a7f458e	imt test	2024-12-23 16:20:26 +01:00
Giacomo Pasini	f5af878540	use included sha	2024-12-16 12:27:11 +01:00
Giacomo Pasini	01925fa97e	sha patch	2024-12-16 11:02:59 +01:00
Giacomo Pasini	afd3e88869	tmp	2024-12-13 11:44:01 +01:00
Giacomo Pasini	f78b918291	tmp	2024-12-13 02:06:39 +01:00
Giacomo Pasini	b2257c66ed	compact serialization	2024-12-12 19:04:06 +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
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	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
David Rusu	cffd687e50	goas: rename DeathConstraint to Constraint	2024-08-27 15:56:41 +04:00
Giacomo Pasini	23df7331c8	Use efficient comm for balances (#38) ... * Use efficient comm for balances At the moment we're using merkle trees even though we don't need inclusion proofs, which means we're calculating more hashes than necessary and limiting the account set size to 256. This change is a temporary solution that chooses a more efficient way to calculate a commitment to the account balances, while we wait for something more scalable like a Verkle Tree. * remove leftover constants	2024-08-26 19:29:49 +02:00
davidrusu	da18cef987	Merge pull request #36 from logos-co/goas/hash-based-balance-commitments ... goas: switch balance commitments to hash based commitments	2024-08-23 16:18:37 +04:00
davidrusu	75930a5ac8	Merge pull request #37 from logos-co/goas/mmr-in-zone-state ... goas: MMR for the zone transaction log	2024-08-23 16:18:23 +04:00
David Rusu	30354a08bd	goas: remove found flag from balance insert helpers	2024-08-23 13:39:36 +04:00
David Rusu	5151438d3f	goas: reduce the width of the MMR height field	2024-08-23 13:05:33 +04:00
David Rusu	226da49440	remove old implementation	2024-08-23 03:09:40 +04:00
David Rusu	362749b1b6	goas: MMR for the zone transaction log	2024-08-23 03:06:15 +04:00
David Rusu	7a706583dc	goas: switch balance commitments to hash based commitments	2024-08-21 22:00:49 +04:00
davidrusu	8aba1c8e68	Merge pull request #34 from logos-co/goas/ptx-proof ... goas: aggregate input/output proofs into a single ptx proof	2024-08-21 18:18:46 +04:00
davidrusu	6480637e76	Merge pull request #35 from logos-co/goas/ptx-level-balance-blinding ... goas: move balance blinding to ptx level	2024-08-21 18:08:44 +04:00