找到约 13 条结果

文章 解读下一代以太坊 Layer2 解决方案(I):Based Rollups

...542) > taiko Based rollup 架构的描述 由于基于 rollup 将其证明直接提交给以太坊,因此其结算本质上是在以太坊上。这意味着任何人都可以在以太坊上访问 L2 链的已验证状态。基于 rollup 不能在其底层 L1 之外进行结算。 基于 ...

文章 意图驱动型跨链桥的幕后原理

...标链上预先提供流动性。 6. 求解器通过预言机提供完成证明。 7. 桥从源链释放用户的资金,并将它们发送给求解器。 让我们用一个例子来理解这一点: Alice 想要从 Optimism 向 Arbitrum 发送 1 个 Eth。 ![](https://img.learnblockcha...

文章 在开发过程中保护协议 - 从高级不变式到池排空漏洞

...并检查这个守恒将始终保持。如果有可能违反一个条件,证明者会产生一个具体示例,显示可能出错的地方。从那个反例中,可以找到他们程序的缺陷。 令我们惊讶的是,该工具显示 **burn-single** 操作违反了守恒。**burn-single** ...

文章 精读《Rust编程之道》:吃透语言精要,彻底搞懂所有权与借用

... Rust 的这些基础规则有了更深的“会意”。这不仅是理论知识的填充,更是编程思维模式的一次重要升级。掌握了这些“语言精要”,我们才算真正拿到了进入 Rust 世界的门票。接下来,让我们带着这些基础,继续探索 Rust 更加...

文章 了解比特币分叉:演变与分歧

... 虽然“分叉”一词可能会让人产生分歧的印象,但它证明了去中心化系统固有的灵活性和适应性。本文深入探讨了比特币分叉的本质,解释了它们的原因、影响以及它们绘制的不同路径。 寻找有关比特币本身的更多见解?...

文章 Akash Network (AKT):Akash区块链技术架构

...权分布式所有权。具体来说,Akash Network 由一个[委托权益证明 (dPoS)](https://learnblockchain.cn/article/20491)区块链提供支持,该区块链利用 [Cosmos SDK](https://docs.cosmos.network/)、[Comet-BFT](https://learnblockchain.cn/article/20516) 共识、[链间通信协...

文章 详解 Solana eBPF 虚拟机

...在 ISA 中定义的 panic 算法相对简单。对于除法,它将除以和负溢出定义为 panic 情况。对于内存访问,它指的是越界或访问违规(即。写入只读部分)。最后,对于控制流,它提到了越界跳转、对未注册函数的引用以及堆栈溢...

文章 深入探讨 Jupiter 永续交易所产品

...等协议中借用其抵押品。 Jupiter 的永续产品可以实现 **价格影响**、**滑点** 和 **深度流动性**,这得益于 JLP 的使用以及与领先预言机网络的集成,确保在清算和止损事件中市场稳定。 虽然该模型相对新颖,但给予用户...

文章 Solidity快速梳理进阶要点

# 前言 > 本文高效梳理Solidity编程语言进阶知识点 # 1.底层调用 call、delegatecall 以及 Multicall - **call**:用于调用其他合约的函数,可以修改目标合约的状态。 - **delegatecall**:在调用者的上下文中执行目标合约的代码,可以修...

文章 IPFS里程碑:IPFS集成进Brave浏览器

...的一个分叉)开发的。 事实上,这个实验进行了[概念实现证明](https://github.com/brave/browser-laptop/issues/9556#issuecomment-369757871),明确了在Brave地址栏中解析IPFS URIs。 ![在Brave中通过IPFS Companion流式传输IPFS文件的初步尝试](https://img.lear...

文章 MoveCTF 所有题解Writeup

...riteup/blob/main/MoveCTF/move_lock/solve.py) 这道题关于一些数学知识。其中最核心是以下代码,通过变量名能够想到$A$是一个$3\times3$的矩阵,通过表达式可以得出其含义为$A$矩阵左乘$P$矩阵,即$AP=C$ ```move let c11 = ( (a11 * p11) + (a12 * p...

文章 COMP 分配、关键代表、新资产页面

...于治理和风险管理,特别是在去中心化协议方面具有专业知识。Kain认为去中心化的目标是最大程度的抵制审查和无信任 - 尽管他认为这应该以务实且渐进的方式实现。 ##### **[DeFi Rate](https://compound.finance/governance/address/0xcfae402f6c...

文章 Circle STARKs:第二部分,圆 - ZKSECURITY

...间。 ## 消失多项式 消失多项式是在特定点集上求值为的非多项式。 在 STARK 中, 我们在计算迹上定义多项式约束。 当相应的多项式在迹域上的点上求值为时,满足这些约束。 因此,约束多项式必须是消失在(或求值为...