本文介绍了Veridise团队在智能合约安全领域的学术研究成果,共精选五篇论文,涵盖了智能合约的安全性检查、优化及验证等多个方面。每篇论文的研究均对智能合约的设计与安全审计具有重要的指导意义,并且为Veridise开发内部工具提供了基础和灵感。
可变长度的数据,ABI 采用了一种指针和数据分离的方式进行编码。
100 篇笔记学习 web3 之第三篇:solana dapp 示例开发
主动刻意练习销售能力
本文探讨了稳定币在不断扩展和变化的利率环境中的发展,强调了其多样性和创新的抵押机制,分析了稳定币供应的增长及其对市场流动性的影响。文章还比较了不同抵押策略的稳定币,并考虑了未来监管和经济环境对其的影响。
这篇文章详细介绍了使用 Trident 进行模糊测试的过程,包括设置 Trident 工作空间、编写模糊测试、以及运行测试与获取结果等步骤。文章涉及了 Rust 代码示例来演示如何初始化程序、处理账户和执行模糊测试,同时指出了潜在的函数缺陷和运行中的错误处理。
译者注: 上周亿级别融资的比特币质押协议 Babylon 已启动主网,迅速聚集了 1万多名BTC质押者,非常火爆,这篇文章翻译自Babylon 的轻皮书,看看 Babylon 如何通过质押比特币来PoS网络
SushiSwap中的关键词
本文深入探讨了区块链技术中的链抽象问题,强调当前多链生态系统的碎片化现状及其带来的用户体验挑战。文章介绍了链抽象如何通过简化用户交互,降低操作复杂性,以及未来可能实现的无缝整体化体验,最终目标是为用户提供如同Web2一般顺畅的操作体验。作者通过案例和理论支持,阐明了新兴协议Socket的角色及其对Web3用户体验的影响。
掌握8种常见的合约设计模式
在没有shard的情况下,operator会把所有的bundle都发送给consensusnode,electedfarmers(这里指代有算力的node)会verifybundle(当作一个transaction处理),通过验证的bundle发送到txpool等待打包成block;因为把
为什么以太坊的市值和比特币相差这么大 1 定位不同 2 总量预期管理不同 3 共识不同
超级链正在开创一种新的共享方式,以可持续的方式扩展以太坊的技术和价值,让所有建设者受益。超级链的定义很简单:一个建立在共同标准代码库上的区块链网络,共享安全、治理和价值观。超级链是一个正和网络;任何单一链的成功都会使生态系统中的所有链受益。目前,超级链中的每个OP链都采用标准化的收入分享模
本文深入探讨了以太坊虚拟机(EVM)的架构和操作,解释了EVM的基本组件(如堆栈、内存、存储等),字节码如何被编译为操作码,以及交易的执行过程。通过详细的步骤和示例,读者能够更好地理解EVM的工作原理和智能合约的执行机制。
本文介绍了如何使用Viem库在以太坊或其他EVM兼容区块链上发送交易。内容包括设置项目、执行ETH转账、发送签名交易以及与智能合约交互的详细步骤。
关于合约之间调用的指令 call、callcode、delegatecall 和 staticcall。
call
callcode
delegatecall
staticcall
文章详细介绍了Schwartz-Zippel Lemma在零知识证明(ZK-Proof)中的应用,通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。
Morpho是一种为EVM实现的非托管借贷协议。MorphoBlue提供了一种新的无需信任的原语,与现有的借贷平台相比,其效率和灵活性都得到了提高。它提供无需许可的风险管理和无需许可的市场创建以及与预言机无关的定价。
扫一扫 - 使用登链小程序
406 篇文章,483 学分
175 篇文章,424 学分
41 篇文章,353 学分
118 篇文章,352 学分
30 篇文章,306 学分