找到约 13 条结果

文章 2023年值得期待的加密叙事之 ZK-rollups

...：https://ethereum.org/en/developers/docs/scaling/zk-rollups/#zk-rollups-and-ethereum

文章 砸钱也没用：Solana 交易执行的新法则

...网络活动的可见性，参与者不得不采用“广撒网”（spray-and-pray）策略——发送多个交易变体（例如，不同的 nonce、费用等级或账户目标）来对冲失败风险，这源于博弈论的动态。在高流量场景下，这会造成严重瓶颈： - **代...

文章 意图与链抽象 101

...文链接：https://medium.com/lifinance/https-li-fi-knowledge-hub-intents-and-chain-abstraction-101-c0576b18232f >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文永久链接：[learnblockchain.cn/article...

文章 以太坊提案 Verkle 树结构

...eum/2021/07/27/inner-product-arguments.html)此处。 我们用的是 [Bandersnatch](https://ethresear.ch/t/introducing-bandersnatch-a-fast-elliptic-curve-built-over-the-bls12-381-scalar-field/9957)曲线。选择 Bandersnatch 是因为它的高性能，也因为它将来可以让 BLS12_381 中...

文章 OP Labs | 对 OP Stack 故障证明系统中的诚实行为和参与度进行激励

...的安全升级成为可能。 原文链接： [Incentivizing honesty and participation in the OP Stack’s Fault Proof System](https://blog.oplabs.co/dispute-game-bond-design/) --- **找到我们** OP 中文力量是由 GCC、LXDAO、PlanckerDAO，登链社区和 TraDAO 共同发起的...

文章 智能合约中的缺失或不当输入验证

...情况 [模糊测试](https://www.cyfrin.io/blog/smart-contract-fuzzing-and-invariants-testing-foundry) 是检测智能合约中缺失或不当输入验证的强大技术。通过生成随机和意外的输入，模糊测试有助于发现可能导致潜在漏洞的验证检查失败的边界情...

文章 臭名昭著的 B.U.G. 👑 文摘

...let 上的 100 万截断错误](https://medium.com/immunefi/moonbeam-astar-and-acala-library-truncation-bugfix-review-1m-payout-41a862877a5b) - [导致 60 万损失的经典整数溢出](https://medium.com/@numencyberlabs/poolz-finance-attacked-for-665-000-56084cacae53) 为了使 Web3 继续安全...

文章 使用 WASM 的累加器：浏览器中的密码学配对

...参考文献 \[1\] Nguyen, L. (2005). Accumulators from bilinear pairings and applications. In **Topics** in Cryptology–CT-RSA 2005: The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14–18, 2005. Proceedings_ (pp. 275–292). Springer Berlin Heidelberg. >...

文章 OpenZeppelin合约 v5.2 发布

...://learnblockchain.cn/article/16220/introducing-openzeppelin-contracts-5.2-and-openzeppelin-community-contracts) >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

文章 什么是以太坊认证服务（EAS）及其使用方法

.../ethereum-development/smart-contracts/what-is-ethereum-attestation-service-and-how-to-use-it", type: "string" },\ */\ ]); const schemaUID = "SCHEMA_ID"; // 模式的 UID。内容模式为：0x43183473396f22ec78464231c356f1763e89e0f5393261dd142ef8bc79a147be // ...

文章 代币发布的五条规则

...ww.nysd.uscourts.gov/sites/default/files/2023-12/23-cv-1346%2C%20Opinion%20and%20Order%2C%20December%2028%2C%202023.pdf)，和 [Coinbase](https://www.documentcloud.org/documents/24520350-sec-v-coinbase-lawsuit-upheld))。 项目需要谨慎避免这些方案。没有任何一个理由足以忽视...

文章 形式化验证WebAssembly - Soroban案例研究

...于`x = 0, y = 0`成立。一个不可满足公式的例子是`(x XOR y) AND (x == y)`，因为`x XOR y`和`x == y`不能同时为真。 在形式验证的上下文中，如果否定的VC是不可满足的（UNSAT），则意味着原始VC是有效的。这一UNSAT结果表明程序是正确的...

文章 Wake：Solidity的开发与测试框架

... [ackee.xyz/blog/woke-our-...](https://ackee.xyz/blog/woke-our-development-and-testing-framework-for-solidity) >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～