Giacomo Pasini ad88d2bc0c Add first tx defition (#835) ... * Add first tx defition * address review comments * review comments		2024-10-22 15:51:54 +02:00
..
proof_statements	Add first tx defition (#835)	2024-10-22 15:51:54 +02:00
risc0	Add first tx defition (#835)	2024-10-22 15:51:54 +02:00