Giacomo Pasini 9b5d4d329e Move POL definition into nomos-core (#837)		2024-10-30 11:46:51 +01:00
..
chain-defs	Move POL definition into nomos-core (#837)	2024-10-30 11:46:51 +01:00
cl	[CL-1] Add proofs to CL txs (#850)	2024-10-30 10:07:55 +01:00
proof_statements	Move POL definition into nomos-core (#837)	2024-10-30 11:46:51 +01:00
risc0_proofs	Move POL definition into nomos-core (#837)	2024-10-30 11:46:51 +01:00