找到约 12 条结果

文章 时科技 | 智能合约安全系列文章之反编译篇

...ng) 另一种是反汇编后的字节码(需要学习字节码相关知识,不容易理解)。 ![3.png](https://img.learnblockchain.cn/attachments/2020/12/Zoz8L0605fc9b08e6e0fc.png) 本次演示使用的工具有: Remix(在线编辑器):https://remix.ethereum.org/ ...

文章 Cosmos 与波卡 Polkadot 的五大区别

...者将一个无效块上链,Fisherman 发现后可以向中继链提交证明,将包括所有平行链在内的整个 Polkadot 网络的状态进行回滚。在跨链通信期间,最令我们担心的莫过于一条链在重组,另一条链却运行如常。Polkadot 就避免了这个问题...

文章 重温聚合理论

...的人来说,问题是该工具是否节省了足够的时间和精力来证明其成本是合理的。如果内部操作产生的成本低于支付第三方(如 LI.FI)的成本,那么决策者宁愿不从头开始构建东西。 公司摆脱我在上图中提到的新奇到便利频谱的...

文章 AMM测试:L1性能的无废话分析

...ygon.technology/docs/contribute/bor/consensus/#resolving-forks)。 2\. 可证明:这与 Tendermint/IBFT 类似,超过半数的节点签署了规范链。这发生在[Heimdall 层](https://docs.polygon.technology/docs/contribute/heimdall/checkpoint/)(即 Polygon 的验证者管理和状态同...

文章 2020年,我们可以用DAO做什么?

...社区,像dOrg,Metagame或者LeapDAO,仍然是个例外,还需要证明它们自己。 ## **2020的中心化?更多关于有效去中心化的选择** 去中心化是困难的,但有超级多办法可以实现去中心化!这是我们最近看到的一些很有趣的办法。 ...

文章 剖析DeFi借贷产品之Compound:Subgraph篇

...ml** - **schema.graphql** - **mapping.ts** 这里面涉及到较多的知识点,后面再说。 ### 6. 部署 当编码工作完成,也没什么问题之后,就可以将其部署到 The Graph 的 Hosted Service 中去。 部署之前,第一步是先进行授权,执行以下...

文章 手把手教你从0到1构建UniswapV2:part2

...当我们研究流动性供应时,我们了解了一些关于DEX定价的知识:流动性池子中的流动性数量决定了汇率。在Uniswap V1系列中,我们详细解释了恒定乘积公式是如何工作的以及成功交换的主要条件是什么。即:交换后的Token准备金的...

文章 BIP352:静默支付的现在和未来

...数等式证据: * 离散对数等式证据可以让私钥持有者证明自己知道一个私钥而不暴露这个私钥是什么。 * BIP375 使用 PSBT 发送静默支付: * 定义可在多方签名的静默支付交易协作中传递信息的 “PSBT(待签名的比特币交...

文章 基于 Taproot 的闪电通道

...讲到,BIP86 调整让通道的所有者可以向网络中的其它节点证明:这个注资交易输出没有隐藏的脚本路径。 ## [](https://www.btcstudy.org/2023/05/12/taproot-channel-translations-how-it-works/#%E8%8A%B1%E8%B4%B9%E6%B3%A8%E8%B5%84%E4%BA%A4%E6%98%93 "花费注资交...

文章 MEV的未来是优雅的

...太坊的风险。 随着合并的最终到来,我们预测MEV将在权证明过程中成为一个更大的**中心化力量**。作为对此的回应,我们设计了下一次迭代,**[MEV-Boost](https://boost.flashbots.net/)**,以解决这些问题。 - 通过提交-揭示方案,减少...

文章 以太七日谈 • 2022/12/6

...rkNet 技术进行了系统的分析,从 ZKR 设计、EVM 兼容、STARK 证明系统、Cairo 语言和虚拟机等方面论述了 StarkNet 技术优越性。 来源: [![5.png](https://img.learnblockchain.cn/attachments/2022/12/qSK5Kf2U638fee1b3c597.png)](https://twitter.com/Real_Maxlion...

文章 比特币的领域特定语言 - 寻找比特币的 Solidity

...记住,以前,为了在一个点上执行准备好的对消失(STARK 证明验证中的一步),我们必须计算该点与堆栈顶部之间的距离,当堆栈中已经有很多元素时,计算变得复杂。 **解决第一个挑战:堆栈管理**。 现在 DSL 负责堆栈管理...