Ich habe einen neuen Blog erstellt und bereits ein paar Beiträge. Hier ist einer über das Hineinfallen in das Kaninchenloch, während ich nach LatticeFold suche, auf der Suche nach einem Beweissystem mit effizienter Rekursion und hardwarefreundlichen Feldern.