5 Commits

Author	SHA1	Message	Date
David Rusu	cffd687e50	goas: rename DeathConstraint to Constraint	2024-08-27 15:56:41 +04:00
David Rusu	edd69d63bd	goas: remove input/output proofs	2024-08-21 00:03:41 +04:00
David Rusu	310932818a	goas: replace input/output proofs with ptx proof	2024-08-20 23:58:38 +04:00
David Rusu	9ca5e8af57	goas: output + partial_tx + bundle proofs all working together!	2024-07-21 19:05:35 +04:00
Giacomo Pasini	221d7102a9	init	2024-07-16 17:06:54 +02:00