Wir schreiben einen kleinen Artikel für unseren @class_lambda Blog über SNARK-Verifizierung in Bitcoin.

Neben den BitVM- und ColliderVM-Papern sowie der Kritik von @rot13maxi und den @AlpenLabs-Beiträgen, welche anderen Artikel oder Beiträge sollten wir lesen oder als Referenz anführen? Danke!