区块链基础
轻节点如何通过Portal Network获取数据而不依赖全节点
轻节点通过Portal Network获取数据，无需依赖全节点或信任第三方，利用DHT技术分发数据，降低资源消耗，并通过多客户端实现网络稳定性。
最新文章 · 第 127 页
新近入卷
RSS 订阅 ↗
扩容技术
Validium如何通过Merkle根验证交易批次的完整性
Validium通过Merkle根验证交易批次的完整性，并结合有效性证明确保状态变更的正确性。Merkle根用于验证交易包含性，而有效性证明由运营商生成并提交至以太坊主网。数据可用性机制保障用户能够获取交易数据以生成Merkle证明。
智能合约
Etherscan合约验证的局限性与Sourcify的完整验证机制
Etherscan在合约验证中仅进行部分匹配，无法确保源代码与链上代码完全一致。而Sourcify支持基于元数据哈希的完整验证，提供更可靠的验证方式。用户应关注验证工具的完整性，以增强对智能合约的信任。
智能合约
高阶形式化规范如何描述智能合约的高阶行为
高阶形式化规范通过有限状态机和时序逻辑描述智能合约的高阶行为，涵盖安全性和活性属性。低阶形式化规范则关注合约的内部执行路径，霍尔逻辑通过前提和后置条件确保函数的正确性。
扩容技术
ZK-SNARKs可信设置中多方计算仪式的作用与局限
ZK-SNARKs的可信设置依赖于多方计算仪式，通过多个参与者贡献随机性并销毁输入来提高安全性。尽管该机制减少了对单一可信方的依赖，但仍需信任参与者的行为。与ZK-STARKs相比，ZK-SNARKs在性能上更优，但其可信设置存在一定的信任假设。
