零知识证明的先进形式化验证：如何证明零知识内存

零知识证明的形式化验证详解第三弹：如何证明零知识内存。

Solana验证者生意经：最大验证者收入达1400万美元，也有上千个节点亏本

Solana背后的验证者们似乎从来都相对神秘，究竟在Solana上做个验证者能赚取多少？投入又是什么样的级别？

打破链间孤岛：详解跨链技术如何塑造开放互联的加密世界

探索跨链技术概念、分类、实现方法和挑战。

什么是上海升级，它对以太坊有何影响？

以太坊上海升级是好是坏?是利好还是利空?

「形式化验证」如ChatGPT或将取代人类？CertiK专家为你解答该命题真伪！

我们常说形式化验证用于智能合约审计。那么审计当中，到底哪些部分使用了形式化验证，人工审计又有着怎样的作用呢？

为什么模块化区块链设计是未来?

模块化设计的魅力在于，每个模块的优化都可以放大其他模块的优化。

为什么以太坊的合并没有解决任何问题

以太坊区块链上个月完成了期待已久且充满希望的“合并”，这是其运作方式的技术变革。

Solana去中心化吗？这份验证者报告可以给你答案！

Solana基金会最近发布了第一份评估 Solana 网络健康状况的报告，其中深入探讨了验证者网络健康状况

Harmony 被盗 1 亿美元，验证者节点安全如何保障？

目前 Harmony 官方已通知交易所并暂停了 Horizon 跨链桥。

简述zkSync的运行原理

zkSync是一种无需信任的协议，用于在以太坊上进行可扩展的低成本支付，由 zkRollup 技术提供支持。