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
..
chain-defs	Add first tx defition (#835)	2024-10-22 15:51:54 +02:00
cl	Add first tx defition (#835)	2024-10-22 15:51:54 +02:00
proof_statements	Add first tx defition (#835)	2024-10-22 15:51:54 +02:00
risc0_proofs	Add first tx defition (#835)	2024-10-22 15:51:54 +02:00