钱包安全
以太坊‘Eth2’骗局的真相与防范措施
以太坊合并期间，诈骗者利用‘Eth2’术语误导用户，声称可兑换‘Eth2’代币。实际上，以太坊官方并未推出此类代币，用户无需采取任何行动。用户应警惕此类骗局，避免因虚假信息损失资产。
最新文章 · 第 143 页
新近入卷
RSS 订阅 ↗
扩容技术
ZK-SNARKs与ZK-STARKs的信任设置与技术差异
ZK-SNARKs依赖可信设置生成公共参数，确保安全性，但需信任参与者销毁随机性。ZK-STARKs则无需可信设置，具有更高的透明性和可扩展性，适用于不同场景。
智能合约
Vyper中withdraw函数的退款金额获取与执行流程
Vyper中withdraw函数通过pendingReturns映射获取退款金额，清零后通过send函数发送资金，确保退款流程安全可靠。
智能合约
Hoare逻辑在智能合约中的前置条件、后置条件与执行验证
Hoare逻辑通过前置条件、后置条件和不变量描述智能合约的执行要求和结果，确保合约逻辑的正确性。部分正确性与完全正确性的区别在于执行是否终止，而实际应用中，gas机制使部分正确性更具可行性。
扩容技术
乐观汇总中验证者质押物的扣除条件与角色差异
乐观汇总中验证者质押物的扣除条件包括提交无效区块或基于无效区块构建新区块，这种机制通过经济惩罚确保验证者诚实行为，同时验证者与序列器在角色上有所区别。
钱包安全
代理模式中delegatecall的存储写入机制与安全性
代理模式中delegatecall的存储写入机制允许逻辑合约直接修改代理合约的存储，实现合约升级。但需注意升级过程中的安全风险，确保逻辑合约地址的更新安全可靠。
智能合约
智能合约组合性如何通过模块化原则提升开发效率
智能合约组合性通过模块化、自主性与可发现性原则，使开发者能复用现有合约功能，提升开发效率并推动创新。实际应用包括代币交换、治理系统与身份管理，增强以太坊生态的互操作性与用户体验。