Ik heb een nieuwe blog gemaakt en heb al een paar berichten. Hier is er een over het vallen in het konijnenhol terwijl ik naar LatticeFold keek, op zoek naar een bewijs systeem met efficiënte recursie en hardware-vriendelijke velden.