214 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
thomaslavaur	255882942f	Merge pull request #76 from logos-co/PoqCircuit ... Poq circuit	2025-05-27 11:20:26 +02:00
mgonen	7cd5f9b3ea	Wire PoL inputs into PoQ circuit	2025-05-27 11:41:50 +03:00
thomaslavaur	676acc9feb	add the PoQ and corrected a lot of stuff related to Mantle updates	2025-05-26 11:05:08 +02:00
thomaslavaur	30ab8f7eda	remove shielded sets from circom circuits	2025-04-29 11:32:56 +02:00
thomaslavaur	83d4a7dbee	derive the unit using the new unit_arg	2025-04-14 11:21:06 +02:00
thomaslavaur	ec0eef618d	fixed generation of ownership inputs	2025-04-11 09:40:13 +02:00
thomaslavaur	36d2c7a31c	remove deprecated proof	2025-04-10 10:58:03 +02:00
thomaslavaur	11b9d06357	edit pol with the new shielded and unshielded notes	2025-04-10 10:40:20 +02:00
thomaslavaur	4843f7140d	fix forgotten error	2025-04-09 14:36:32 +02:00
thomaslavaur	dab1ebd4bf	rename folder and reworked the transaction	2025-04-09 14:04:39 +02:00
thomaslavaur	39fdbd972f	remove forgotten stuff	2025-04-07 08:38:35 +02:00
thomaslavaur	0f0bf6926b	adjust formula computation in the generation of input to follow the specs	2025-04-04 15:54:45 +02:00
thomaslavaur	6ecd06e7c7	correct transfer covenant into spending covenant	2025-04-04 15:40:39 +02:00
thomaslavaur	769b1f193e	adjust public inputs	2025-04-04 15:28:52 +02:00
thomaslavaur	40e92abdb0	reflect changes in the specs to the circuits	2025-04-04 11:39:09 +02:00
thomaslavaur	2e20938880	remove the Stow wrapper from here (still available in a different branch	2025-04-02 12:04:09 +02:00
thomaslavaur	6299aaa843	Merge pull request #56 from logos-co/origin/Circom_PoL ... Merge the two circom branches	2025-04-02 08:45:38 +02:00
thomaslavaur	b01d28a57d	add the attached data to the transaction	2025-04-01 14:13:17 +02:00
thomaslavaur	23f2da8482	add the different zk proofs.	2025-04-01 10:52:28 +02:00
thomaslavaur	6b20259eb3	fix bad zone id in pol for staking notes + transactions	2025-03-31 12:43:18 +02:00
thomaslavaur	5fcffb74c2	add the PoL for the staking notes	2025-03-31 08:47:32 +02:00
thomaslavaur	0d98123326	update SECRET_KEY to POL_SK dst	2025-03-27 08:03:27 +01:00
thomaslavaur	3ea1442289	add a constant file and fixed a bad dst in commitment	2025-03-26 14:44:56 +01:00
thomaslavaur	4ca8f52ced	fix DSTs	2025-03-26 13:40:49 +01:00
thomaslavaur	7e78eb812d	refactored the names, added the one-time-key for signing, and added the public inputs	2025-03-26 13:07:37 +01:00
thomaslavaur	6f94e8da43	Clean the repo and push the new PoL	2025-03-26 11:46:34 +01:00
davidrusu	816d6a3281	Merge pull request #55 from logos-co/zeegomo/add-swap-vm ... Swap VM Zone	2025-03-17 18:49:07 +04:00
davidrusu	19c66f31c0	Merge pull request #54 from logos-co/drusu/add-swap-vm ... SwapVM	2025-03-17 18:46:20 +04:00
Giacomo Pasini	605e4f1e4c	fix tests	2025-03-17 10:51:28 +01:00
Giacomo Pasini	669401271c	Process ledger updates in batches to allow usage of notes in the same bundle	2025-03-17 10:51:02 +01:00
David Rusu	21bf72c6f4	update risc0 images	2025-03-12 17:12:25 +04:00
David Rusu	bfb8594112	consume goal notes in the executor tx	2025-03-12 17:08:08 +04:00
Giacomo Pasini	2947329764	complete swap test scenario	2025-03-11 22:15:16 +01:00
David Rusu	bde46cefe7	swap scenario	2025-03-11 19:02:55 +04:00
David Rusu	104ad9bbff	impl MMR proof update via folds	2025-03-10 19:24:49 +04:00
David Rusu	9a131c6718	update stf proof to read Swap Args from output data	2025-03-10 14:37:28 +04:00
David Rusu	545d5b822f	amount_out calculation	2025-03-10 12:26:01 +04:00
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