3 Commits

Author	SHA1	Message	Date
David Rusu	7e19f8bce9	pol: lottery evaluation looks correct	2024-07-25 16:27:59 +04:00
David Rusu	a268129ee9	pol: remove copied proof statements	2024-07-25 02:24:56 +04:00
David Rusu	884232b2d3	pol: risc0 implementation of the PoL zk statemetn	2024-07-25 02:19:03 +04:00