找到约 15 条结果

文章 Ingonyama 2025 研究资助计划

...的系统在论文[“可扩展的协作 zk-SNARK及其在完全分布式证明委托中的应用”](https://eprint.iacr.org/2024/940)中提出,允许多个云服务器共同计算 zk-SNARK 证明,而无需依赖于集中的、强大的证明者。该论文介绍了几种用于协作证明生...

文章 Sui的Kiosk和示例

... 函数将用户持有的 NFT 存入 Kiosk。需要提供 KioskOwnerCap 以证明操作权限。 - **上架出售**:`list_nft_for_sale` 函数为指定的 NFT 创建一个 Listing,设置出售价格。也需要提供 KioskOwnerCap。 - **购买 NFT**:`purchase_nft` 函数允许买家购...

文章 Solana 程序安全搭便车指南

...,向上舍入可能会导致发行的流动性代币多于抵押品所能证明的数量。恶意行为者可以利用这种差异进行套利攻击,通过有利的舍入结果从协议中提取价值。为了减轻风险,使用 **try_floor_u64** 进行向下舍入到最接近的整数。这...

文章 什么是 “JIT 通道”?

...给这个 LSP。 * LSP 辨识其中的 SCID 并跟客户开启一条 “[确认](https://thebitcoinmanual.com/articles/zero-confirmation-transactions/)通道”。 * LSP 转发相应的支付给客户,并扣除开启通道所需花费的手续费。 * 客户领取支付。 换句话说,...

视频 编写 Gas 高效的智能合约 - Solidity Gas 优化技术

... AMM 的优化建议包括高效的数学库和内联函数。 * **背景知识:** 强调了背景知识的重要性,例如 Chebyshev 逼近法在数学函数优化中的应用。

文章 Unichain 白皮书

...算完整性属性 [7] 提供私有数据访问和可验证执行。执行证明将公开发布,允许用户验证区块是否根据声明的策略在 TEE 内构建。 TEE 区块构建是 Rollup 的一个强大原语,不仅可以缓解任意区块排序的风险,还提供了一个框架来...

文章 技术详解 | 如何对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 性能限制的一个主要来源——我们之前已经确定并继续使用真实世界的数据进行验证——是本地磁盘上数...

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

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

文章 从随机接入到智能连接:基于学习的稀疏恢复用于联合活动...

...对特定的性能指标进行优化,并且对于诸如不完善的信道知识和非理想的噪声之类的真实世界的损伤更加鲁棒。 一种特别有前途的技术是使用**基于模型的深度学习**。这种方法将迭代稀疏恢复算法(如AMP或迭代软阈值算法(I...

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

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

文章 智能合约安全审计入门篇 —— delegatecall (2)

...去玩点刺激的,拿下一个进阶版的漏洞合约。 ## **前置知识** 这里就不再重复之前的基础知识了,不了解或者遗忘的可以再看看上一篇文章:《[智能合约安全审计入门篇 —— delegatecall (1)](https://learnblockchain.cn/article/4125)》...

文章 模块化世界

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

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

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

文章 PoS 系列 #2-Epoch,Slot 与信标区块

...McCorry 翻译 | John, ECN 审阅 | Franci, ECN 使用权益证明的以太坊的独特性在于参与者数量的最大化设计。它允许成百上千和成千上万的验证者活跃地参与决策过程。在笔者撰文时已经有大约 50 万的验证者实体(从协议的...