找到约 14 条结果

文章 EIP-7623:以太坊交易的重新定价调用数据

...gas 较少,但数据大小较大。 目前,calldata 的成本是每个字节 4 gas,非字节 16 gas。通过 Snappy 压缩可以压缩 calldata([EIP-706](https://github.com/ethereum/EIPs/blob/master/EIPS/eip-706.md?ref=ghost-2077.arvensis.systems)),且交易大小不能超过 12...

文章 🦀 从开发一个Rust命令行工具完整教程

# 前言 本教程将带你从开始构建一个功能完整的Rust命令行工具包,涵盖文件操作、系统监控、网络工具、文本处理和加密功能。 我们将学习如何构建一个具有交互式界面、自动补全、命令历史等现代CLI特性的工具。 ![...

文章 MultipliFi:弥合 TradFi 的严谨性和 DeFi 的创新性

...的 DeFi 平台截然不同。 - **可访问性:** MultipliFi 降低了售和机构投资者的准入门槛,使他们能够在各种资产上获得有竞争力的收益,包括稳定币、原生加密货币(如 BTC 和 ETH),甚至代币化的现实世界资产(RWA)。 ## Solidi...

视频 Lasso、Jolt 和Lookup Singularity,第二部分,与 Justin Thaler 对话

...Jolt 是一种新的 ZKVM 技术,它利用了 Lasso 的特性,降低了证明者的承诺成本。Lookup Singularity 是一种愿景,旨在创建仅执行查找的电路,以提高可审计性和形式验证的正确性。 关键信息: * Lasso 是一种新型的查找论证,其证明...

文章 从预测市场到信息金融

...的买卖决定,你可以根据市场价格推测出很多关于世界的知识。 对我来说,信息金融就是这样,但[根据构造修正](https://www.eschertech.com/products/correct_by_construction.php)。类似于软件工程中正确构造的概念,信息金融是一个学科,其...

文章 利用形式验证在更短时间内捕获棘手的漏洞

...况下压缩彻底验证代码所需的时间。通过利用社区的集体知识和创造力,这些竞赛通过可测量的方式实现代码安全的快速提升。 典型的竞赛以基本设置开始,包括 [Prover 工具](https://docs.certora.com/en/latest/docs/whitepaper/index.html) 的...

文章 盲签名与匿名集

...易(confidential transactions)” 类似的技术,我们可以用知识证据来隐藏交易中的数额,就像在 [Liquid](https://blog.liquid.net/guide-to-confidential-transactions/?ref=blog.cashu.space) 侧链、 [门罗](https://teemukanstren.com/2022/04/01/zero-knowledge-proofs-examp...

文章 Zealynx 是谁?为什么 DeFi 团队选择我们顶级的智能合约审计

...)领导。Zealynx为重视质量、透明度和直接获得高级专业知识的 DeFi 和 Web3 团队提供经济高效的智能合约审计和区块链安全解决方案。 ## Zealynx 有什么不同? - 创始人主导的专业知识:每次审计都由 Carlos 亲自管理,他是一位拥...

文章 深入理解EVM系统(3)

...包”这个术语对你来说很陌生,也请不要担心。槽打包的知识对于黑客来说是至关重要的,在文章的最后你将会对它有一个深刻的理解。如果你曾经尝试过Ethernaut Solidity Wargame 系列或其他 Solidity “夺旗”类型的游戏,你就会知...

文章 Wake:以太坊上用于阻止漏洞的新开源工具

...和 Solana 基金会的资助。 Ackee Blockchain 的使命是通过分享知识来建立一个更强大的区块链社区:该团队运营一个免费的认证课程 [School of Solidity](https://ackeeblockchain.com/summer-school-of-solidity)、[School of Solana](https://ackeeblockchain.com/winter...

文章 密码学101:RSA算法解析

...5/02/19/1ZeM2s_LDrh_pdE1YXGBssg.gif) 有趣的是,通过 _e_ 和 _n_ 的知识,很难计算 _φ(n)_,因为为此你需要 _n 的素因子_!这实际上是一个非常困难的问题!出于这个原因, _e_ 可以公开发布——并确实是在 RSA 中的 _公钥_。 ### 步骤 剩...

文章 如何在以太坊上使用 Goerli 水龙头获取测试网 ETH

...2 年 5 月 16 日,阅读时长 3 分钟 * * * Goerli 是一个**权威证明** (PoA) 测试网,web3 开发者在以太坊主网上启动区块链应用之前使用它来测试应用。要在 Goerli 测试网上测试智能合约,开发者需要 Goerli ETH 和一个 [Goerli RPC 节点](https...

文章 Stwo证明器:下一代STARK扩展技术已到来

...都将受益于 Stwo。 ## 解锁 STARK 的下一阶段 下一代 STARK 证明技术来了! 为了避免大量不请自来的信息,我们将着重于概述,并在其中穿插一些花哨的词语。 我们邀请你进行链接跳转和橱窗购物! ### 面向非数学人士的高层次...

文章 OpenZeppeLin 学习:ERC721源码解析

...ss(0)); } return _balances[owner]; } ``` * `owner` 不能是地址; * `_balances[owner]` 返回其持有的 token 数量。 > 💡 `_balances` 是一个映射,记录了每个地址拥有的 NFT 数量。 *** #### `ownerOf` * ownerOf -> _requireOwned -> _ownerOf ...