12 Commits

Author	SHA1	Message	Date
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	236a0d0d47	compact serialization (#46)	2025-01-02 14:42:49 +01: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	aa57295f4b	wip: integrating new ledger into proofs	2024-12-06 12:58:00 +04: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	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	ec5cd13d46	emmarin	2024-11-19 12:42:50 +01:00