在Spire的离线会议期间，我们至少遇到了10个独立的案例，大家都在想“如果我们把这个包装成一个证明并进行验证会怎样”，这是一种全新的思维方式。 快速生成证明是一件令人难以置信的事情。