Related Posts
零知识证明的先进形式化验证：如何证明零知识内存
在关于零知识证明的先进形式化验证的系列博客中，我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如 […][...]
厚积薄发 详解 IoTeX 2.0 如何推动 DePIN 赛道迈向新台阶
背景 DePIN 是加密货币行业的一个新兴垂直领域，也是本轮牛市最重要的叙事之一。DePIN 通常通过发行和分 […][...]
在关于零知识证明的先进形式化验证的系列博客中，我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如 […][...]
背景 DePIN 是加密货币行业的一个新兴垂直领域，也是本轮牛市最重要的叙事之一。DePIN 通常通过发行和分 […][...]