在 Spire 的外部會議中，我們至少遇到了 10 個獨立的案例，當有人說「如果我們把這個包裝成一個證明並進行驗證會怎樣？」這是一種全新的思維方式。 快速的證明生成是一件不可思議的事情。