Während des Spire-Offsites hatten wir mindestens 10 separate Fälle, in denen jemand sagte: "Was wäre, wenn wir das einfach in einen Beweis einwickeln und verifizieren würden?" und es ist eine völlig neue Denkweise. Schnelle Beweisgenerierung ist eine unglaubliche Sache.