本文深入探讨了在Solana区块链上开发金融应用时,如何确保安全的数字计算。重点包括使用整数和小单位、避免精度损失、实施一致的四舍五入策略以及使用无浮点数的利息计算。文章还强调了传统金融编程技巧的重要性,避免了常见的编程错误,使得开发者能够更好地处理用户的资产安全。
深入剖析Go接口底层实现:从eface到iface(基于Go1.24源码)在Go语言中,接口(interface)是实现多态和抽象的核心特性,其简洁的语法背后隐藏着复杂的运行时机制。本文基于Go1.24的源码,深入探讨空接口(interface{})和非空接口的底层表示—
本文专注于Optimisim的架构学习和思考,是第一篇,希望从OP入手,逐渐拓展对Rollup、二层网络等方案的理解。在前面写过一些列文章涉及了常见的共识协议,如HotStuff,Tendermint等传统BFT共识以及更为综合和现代的以太坊Gasper,在学习了它们后,我对
本篇文章是阅读了《区块链架构与实现——Cosmos详解》之后,对Tendermint理解更新。包括部分协议设计的底层逻辑,从工程实现的角度(而不仅仅是原理上)对具体模块进行阐述,比如Proposer轮换以及Slashing策略。本系列共有三篇文章,此为第三篇。从HotStuff
本文详细介绍了Solana中的程序派生地址(PDA)的概念和应用,PDA作为一种键值数据存储,能够独立存取和更新数据,并为Solana智能合约提供高效的并发处理能力。文章提供了四个具体实例,展示了PDA在资产存储、程序数据管理、可配置参数以及代币转账中的使用,为开发者理解和应用PDAs提供了实用的视角。
Solidity 0.8.29 发布
作为一个初入Web3领域的小白,会直面很多新鲜事物的冲击,也很容易陷入到细枝末节,让自己失去信心。如何能让自己可以在一个适当的维度上学习、探索Web3,就成为一个可行的方式。最近,参加了HackQuest的Arbitrum共学营,自己以接近小白的身份去了解Arbitrum,学习的过程也是思考总结
引言最近,《SwitchyOmega被曝盗取私钥,如何防范插件被篡改?》一文引发了广泛关注,Chrome插件的安全性问题成为焦点。在AI技术蓬勃发展的当下,我们可以借助强大的AI工具来开发一款安全可靠的Chrome插件,替代SwitchyOmega。同时,Trae作为一
Veridise获得以太坊基金会的资助,开发出名为LLZK的新中间表示(IR),旨在统一和简化零知识电路编译,从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点,计划提升ZK语言的可维护性与安全性,并加速安全工具的发展。
本文深入探讨了智能合约和Solidity语言的关键细节,包括与区块链交互的方法、合约调用模式、合约部署方式以及合约特性。作者通过实例和详细解释,阐述了如何在安全和有效的基础上构建智能合约,并强调了理解编码信息和合约结构的重要性。整篇文章结构清晰、逻辑性强,非常适合想进一步了解智能合约开发者。
本文讨论了零知识虚拟机(zkVM)在安全性和性能方面面临的重大挑战,并提出了一系列分阶段的安全和性能目标,以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力,但目前仍存在高复杂度、错误和性能慢的问题,需要数年时间才能实现基本目标。
本文深入探讨了Solana区块链中存在的数据索引问题,分析了由于交易量大导致的复杂数据解析、状态膨胀以及数据存储成本等挑战。同时介绍了Triton的Old Faithful项目及其在改进Solana数据储存与检索方面的潜力,最后提出了Astralane的新型数据基础设施,用于提升高频交易和实时数据处理的效率。
本文介绍了EVM对象格式(EOFv1)的统一规范,详细探讨了其结构、头部与主体的组成、代码执行语义以及新的指令与验证方法等。EOF的推出旨在改善以太坊虚拟机(EVM)的功能和灵活性,提供更好的代码执行环境和数据处理能力。
想象一下:只需几分钟,你就能为自己的大模型(LLM)应用构建出强大、灵活且易于维护的服务器,轻松提供数据和工具支持。这一切都要归功于ModelContextProtocol(MCP)和它强大的TypeScriptSDK。🚀MCP到底是什么?ModelContextProt
本文探讨了零知识传输层安全性(zkTLS)如何通过无条件的数据验证和隐私保护,促进Web2和Web3生态系统之间的互联互通,以重塑未来互联网。文章详细描述了zkTLS的原理、架构,以及它在各类应用场景中的潜在影响,特别是在数据共享、去中心化金融和安全验证等方面的革新性实例,为互联网用户带来了数据控制权的希望。
BLS聚合签名(BLSAggregateSignature)是一种基于BLS(Boneh-Lynn-Shacham)签名算法的高级密码学技术,具有签名聚合的能力。
本文介绍了一种扩展验证EVM代码段的机制,旨在确保在有效合约的执行过程中不会发生栈的下溢或溢出。通过对操作数栈的验证,消除了运行时对栈下溢的检查,并减少了对于大多数指令的栈溢出检查。此外,还讨论了代码有效性、栈高度和终止指令的相关性。
在 Sui 上实现一个简单的币对兑换合约。
RustTrait与GoInterface:从设计到实战的深度对比在现代编程语言中,Rust和Go以其独特的设计哲学赢得了广泛关注。Rust凭借零成本抽象和内存安全征服系统编程领域,而Go则以简洁和高效成为云计算时代的宠儿。两者的核心特性之一——Rust的Trait和G
扫一扫 - 使用登链小程序
378 篇文章,1729 学分
209 篇文章,365 学分
187 篇文章,312 学分
65 篇文章,279 学分
115 篇文章,255 学分