在曼谷，我们宣布将认真审视证明系统的内部机制。我们的目标是揭示所有信任假设，使这些证明系统透明化，并且——最重要的是——让所有用户轻松访问被证明程序的源代码。 新的 ZK 目录是数月工作的结果，这仅仅是个开始。