▲ 1 Show HN: Proving 67M ZK rows on a laptop in 28s (Winterfell OOMs) by y00zzeek | Dec 31, 2025 | 1 comments on HN