Certora团队利用深度的形式验证工具对Solana上的Token2022扩展进行了审核，并撰写了规范以确保代码按预期行为运行。审核结果发现了性能优化机会并提出了改进建议，同时验证了Solana团队实施的更新，确保了安全性。文章详细探讨了形式验证的应用及其带来的潜在安全收益。
Blinks是Solana最近推出的新特性，可以将Solana链上的任意交互转换为一个链接，并且能够嵌入到任何社交媒体和网站中完成交互。
本文涉及较多OP治理的内容，如有不熟悉的术语及组织结构的名词，请参阅《OP治理体系概述》。Optimism第6季时间Optimism第6季将于6月27日开始，12月11日结束。资助申请于7月18日开放，每3周进行一次，直至12月。主题：优
Geth 中 5 个数据库的故事
在比特币中，用户的任意行为均需要通过UTXO实现。因此，使用POW共识机制确保UTXO正确，则能够抵抗任意攻击。类似，在DLC中，对CET添加乐观挑战机制，则能够确保CET的正确执行，从而能够抵抗任意攻击。符合大道至简，具有简洁美。
跨链原子交换因其trustless assumption、即时结算、且无需大量的预签和复杂的挑战流程等轻量级特性，尤其适合用作BitVM跨链桥的重要补充，为普通用户提供资产进出的快速通道。基于适配器签名的原子交换技术，可有效降低链上空间占用，且具有比HTLC更好的隐私性。
文章回顾了作者在迪拜和东京的未来博物馆参观的经历，详细描述了两个博物馆的不同展示内容和理念，探讨了两种未来愿景的差异和可能的融合。作者认为迪拜的未来博物馆展示了技术的激进应用，而东京的未来馆更强调社会的参与和协作。
每周以太坊 2024/08/03
该项目旨在通过并行化和高效设计提高 Grandine 客户端的性能和简化性。项目将进行 Grandine 和 Lighthouse 的对比分析，建立基准性能指标，评估现有测试基础设施，集成性能监控到 CI/CD 管道，探索高级测试技术，并实施有希望的测试方法来发现和解决漏洞，提高 Grandine 的可靠性和效率，从而为以太坊网络的稳定性和性能做出贡献。
追溯公共物品资助（RetroFunding）5将奖励OPStack的贡献者，包括支持或支撑OPStack的核心以太坊基础设施、OPStack研究和开发的进步，以及支持其可访问性和可用性的工具。时间线请注意，所有日期均为初步日期，可能会发生变化。本帖将更新以反映未来的变化。
深入探索Cairo编程语言：Starknet的基础与实践CairoCairo和Cairo实战主题什么是CairoFieldElementStarklings介绍实战什么是CairoWhatisCairo?Cairoisaprogramminglan
本文是介绍零知识证明的系列文章中的第二篇，主要探讨它们在Solana上的应用，特别是ZK压缩技术。这项技术通过验证状态转换来降低链上状态存储成本，并解决Solana的状态增长问题。同时文章详细解析了零知识证明的原理、zk-SNARKs和zk-STARKs的区别、ZK压缩的工作机制，以及未来在Solana上的发展潜力。
2024年1月8日，CvxRewardDistributor合约出现了一处漏洞，导致黑客铸造并出售了5800万CVG代币，约价值21万美元。
CvxRewardDistributor
Rust语言-接口设计的建议之受约束（Constrained）RustAPI指南GitHub：https://github.com/rust-lang/api-guidelinesRustAPI指南中文：https://rust-chinese-translation.gith
本文总结了在纳什维尔举行的 Bitcoin 2024 大会的主要内容，包括政治人物的参与和对比特币的政策，比特币挖矿转向AI，以及比特币二层网络的发展。此外，还概要介绍了会议期间发布的主要新闻和公告，涵盖金融、政策、行业、能源与挖矿、学术界以及产品与技术等领域。
本文深入探讨了基于Rollup技术的潜在革命及其在以太坊等区块链上的实现。文章分析了基于Rollup的优点，如安全性、可定制性、MEV内置和交互性等，并介绍了目前在以太坊上的一些实施方案，如Taiko，提出了可能的未来发展方向、核心设计需求及面临的挑战。
AdventureX和EDCON
质押收益分红复利模型
扫一扫 - 使用登链小程序
406 篇文章，461 学分
174 篇文章，389 学分
118 篇文章，367 学分
40 篇文章，327 学分
30 篇文章，300 学分
Certora
小符
OP 中文力量
SINA
Bitlayer Labs
Vitalik Buterin
rebase
EthWeekly
eth-protocol-fellows
寻月隐君
Helius
cvg_wireshark
Galaxy
maven11
33357
b1wl7cH
