找到约 15 条结果

文章 Yala:释放比特币流动性的巨大潜力

...:** 这是由接收者提供的,通过提供有效的签名和公钥来证明“我拥有此地址”。 比特币脚本的主要价值是安全性。为了确保比特币网络保持安全和稳定,中本聪通过省略条件语句(if-else)或循环(while/for)等功能来限制比...

文章 技术详解 | 如何对Cosmos SDK标准模块进行形式化验证

...nts/2024/12/J6vnz4Ab674e6fa7dc7f5.png) 基于这个定义,我们首先证明关于coin基本操作的一些性质,以为bank模块的功能完整性打下基础,因为其需要经常修改和操作coin类型。例如: ![image.png](https://img.learnblockchain.cn/attachments/2024/12/1sfrMX...

文章 扩展Base:第二季度达到50 Mgas/s

... Archive 迁移出去,并鼓励其他人也这样做。只剩下与容错证明相关的最后一个对 Geth Archive 的依赖,这也将很快消失。 EL 性能限制的一个主要来源——我们之前已经确定并继续使用真实世界的数据进行验证——是本地磁盘上数...

文章 DEFI - 什么是 YFI

...没有预售。没有投资者。只有DeFi。 Andre将YFI描述为“金融价值”代币。 > 在进一步放弃这种控制的努力中(主要是因为我们懒惰,不想这样做),我们发布了YFI,一个完全无价值的供应代币。我们重申,它具有金融...

文章 区块链安全:常见漏洞及防护方法

...队。我们的资深审计师最近利用他们的经验和精密的行业知识发布了[关于区块链漏洞的更详细指南](https://hacken-3.gitbook.io/l1-security/)。 作为领先的[智能合约审计](https://hacken.ghost.io/services/blockchain-security/smart-contract-security-audit/)...

文章 Infrared (IRED):一个Berachain生态流动性质押协议

... - **协议概述:** Infrared (IRED) 是一个基于 Berachain 的流动性证明 (PoL) 框架构建的流动性质押协议。 > > - **流动性质押代币:** 在 Infrared 上,用户通过流动性存款赚取 iBGT 和 iBERA 代币,最终最大化收益机会。 > > - **飞轮增长:** Infrare...

文章 初探 MEV|产生、类别和发展

...镜像、上载、下载、转载、摘编等)或许可他人使用上述知识产权的。已经授权使用作品的,应在授权范围内使用,并注明作者来源。否则,将依法追究其法律责任。 **关于我们** 「DODO 研究院」由一群「DODO 研究员」提供...

文章 Phoenix 钱包简介

...装应用,输入你的 12 个助记词,就能访问你的资金。 - _保证金 \+ AMP_。即使是分散在多个支付通道内的资金,你也可以把它们当作同一个余额花费。 - _蹦床支付_。以免信任的方式委托付款路径计算,帮你免去繁冗的路由表同...

文章 以太坊2.0-Ewasm

...的理解Ewasm示例合约代码,这里首先介绍WebAssembly 相关的知识点 ### S-表达式 WebAssembly 文本格式是以S-表达式表示的,S-表达式是用于描述树状结构的一种简单文本形式,其特征是树的每个结点均被一对圆括号“(...)” 包围...

文章 Dedaub 庆祝 SEAL 的公开亮相及安全港倡议的启动

...在静态和动态程序分析、逆向工程和道德黑客方面的专业知识。** 在 SEAL 的背景下,我们可以为开发更强大的防御威胁机制并确保区块链生态系统的安全做出贡献。 Dedaub 支持 Whitehat 安全港倡议和 SEAL 的积极性。这使道德黑客...

文章 Solana Passkeys:加密钱包用户体验的未来

...程序在链上验证 passkey 签名(例如,确认用户登录或身份证明)。 但是,**Solana 交易仍然需要 Ed25519 签名**,而 WebAuthn passkeys 无法生成这些签名。这意味着仅靠 passkeys 仍然不足以进行钱包级别的签名。 这就是 Para 基础设施...

视频 Rust 编程基础

...的速成课程介绍,旨在帮助学习者掌握 Rust 的基础到中级知识,特别是所有权和借用规则,并最终能够编写和审计基于 Rust 的智能合约,如 Solana 和 Arbitrum Stylus。课程不包含闭包、智能指针以及一些并发概念,但会涵盖异步编程...

文章 模块化世界

...因。我们都听说过著名的合并,这将使以太坊转向以权益证明的方式进行运作。不过,他们计划最后还是会朝着分片的方向移动。分片是将区块链水平拆分成多个部分的过程。这些分片将只处理数据可用性。 结合rollups,以太...

文章 053:去中心化存储 2.0:从 IPFS 到 Arweave 再到 EigenDA

...”。 * **Proof of Access(PoA)共识**: 矿工在出块时必须证明他们持有历史数据副本,从而确保冗余与永久性。 * **一次付费,永久存储**: 费用进入“存储捐赠池”,长期通过利息补贴节点存储成本。 #### 特点与挑战 |...

文章 Utreexo:基于哈希函数的累加器

...器;可以为累加器添加元素的 “添加” 操作,以及一种证明函数。生成器会返回一个累加器;而加操作则以一个已有的累加器和一个元素为输入,输出一个修改后的累加器;此外就是证明函数和验证函数,证明函数的作用是,...