Lottolabs's picture
Runtime p3d (fast2 + dual-NoC decode matmuls): new runtime archive and image pin, re-recorded proofs, p3d evidence; p3c evidence moved to evidence/previous-p3c
e4e8ce5 verified