找到约 12 条结果

文章 Circom模板参数、变量、循环、If语句、断言

...束系统的结构可以根据输入信号值而改变,会发生什么。证明者和验证者都无法操作,因为约束的数量没有确定。 `n` 的值必须在编译时设置。 ## For 循环和变量:`for`、`var` 现在我们解释上面介绍的 `for` 循环。 ```jsx te...

文章 机遇还是隐忧?CertiK首席安全官剖析AI在Web3.0中的两面性

...无疑能显著提升Web3.0的安全性,但其应用必须与人类专业知识结合。 重点应放在开发既增强安全性又尊重去中心化理念的AI系统上。例如,基于区块链的AI解决方案可通过去中心化节点构建,确保没有单一方能够控制或操纵安...

文章 通过形式验证审查Solana上的Token扩展

... Solana Certora Prover,这是我们构建的一个工具,用于自动证明代码行为符合预期。该 Prover 验证 Solana 二进制格式(SBF)代码,这是实际在 Solana 区块链上运行的代码。 编写形式验证规范的好处之一是,它们可以描述极不可能发生...

文章 在HyperEVM中读取HyperCore预言机价格

...&utm_campaign=guides&utm_content=read-hypercore-oracle-prices-in-hyperevm) 知识 - 用于 gas 的 HYPE 代币(来自测试网水龙头或主网购买) - 用于合约部署的钱包(例如,MetaMask、Rabby,或在 Foundry 中创建的全新钱包) - 一个 [免费的 QuickNode 帐户](htt...

文章 Solana停机的完整历史:原因与解决方案

...机制,例如优先费用和本地费用市场,这些后来的机制被证明在缓解网络压力方面至关重要。这种机制的缺失导致2022年长时间的性能下降和拥塞,因网络基本激励了垃圾交易。 ![Solana故障日历](https://img.learnblockchain.cn/2025/03/14/...

文章 托管钱包VS非托管钱包

...在链上的,钱包只是一个包含私钥公钥的字符串。**用来证明你拥有这些资产。** 在web3的世界,钱包不仅是一个储存资产的地方,钱包更像是一个地址(本质上也是一个地址),大家可以类比成web2的IP。用户通过连接钱包来访...

文章 Ethernaut 题库闯关 #6 - Delegation

...目标是获取目标合约的所有权。 本关闯关设计到 3 个知识点: 1. 了解 Solidity关于 "[delegatecall" 低级函数](https://learnblockchain.cn/docs/solidity/contracts.html#index-24),delegatecall是如何工作的,如何使用它将操作委托给链上的库,以及...

文章 这30个以太坊开发示例,让你成为80万都挖不走的区块链人才!

...n.cn/2020/02/01_/977112889.jpeg) 做备忘单的目的就是在学习新知识时不丢弃之前学到的东西 **(切记不要学狗熊掰棒子)!** 学完这6个教程,你就掌握了以太坊开发的基础知识。 但这样就可以了吗?现在就能使用Solidity码代码...

文章 智能合约开发语言 — Move 与 Rust 的对比 (#2)

...对象的变化,而无需对智能合约有任何具体的应用层面的知识。 例如,这在Solana上是不可能的,因为从运行时的角度来看,账户包含任意的数据。你需要对账户外部描述(特定于应用程序)才能解释它们,而智能合约发布者...

文章 Gas 优化概述

...的部分 ## 开始你的优化之旅 Gas 优化是一门既需要理论知识,也需要实践经验的技能。通过本系列教程的学习,你将能够: - 识别代码中的 gas 效率问题 - 应用适当的优化技巧 - 在效率和可读性之间找到平衡 - 编写出更加经济...

文章 什么是 “点时间锁合约(PTLC)”?

...,付款方(Alice)必须能够向收款方(Bob)提供某种付款证明。 - 路径中的每一跳必须能够提供某个秘密值 s 来解锁前一个节点发送的有条件付款。 - 为了获取秘密值 s,每一跳必须向路径中的下一个节点发送需要使用秘密值 s’...

文章 NOMY:基于AI和意图驱动的链上运营

...中获取用户洞察以及我们在智能账户基础设施方面的专业知识,以推动最佳链上用户体验后,我们现在推出一个强大的新范式,为基于 AI 的 web3 界面 - NOMY! ‍ ## **介绍 NOMY:链上操作的新范式** NOMY 是一个基于 AI 的工具...