找到约 13 条结果

文章 托管证明

...Buterin、Chih-Cheng Liang 和 Alex Stokes 富有助益的评论* 托管证明 (Proof of Custody) 是一种有助于解决“懒惰验证者“问题的构造。懒惰的验证者有这样的表现:他们不做他们应该做的工作,例如确保一些数据是可用的 (与数据分片有...

文章 为什么选择权益证明(2020年11月)

## 为什么选择权益证明(Nov 2020) 为什么选择权益证明(Nov 2020) 有三个关键原因表明,与工作量证明(PoW)相比,权益证明(PoS)是一种更优越的区块链安全机制。 ### PoS 在同样的成本下能提供更多安全性 最简单的...

文章 ERC-7786 提案规范:跨链消息传递网关

...。例如,安全性应通过无信任机制来保证,例如轻客户端证明或开放的去中心化验证者集的证明。中继应去中心化或无权限,以确保活力;中心化的中继者可以失败,从而停止协议。 ### 待讨论事项 - `sendMessage`的目的地和接...

文章 [论文] BitVM:在比特币上计算任何东西

...证,类似于乐观 [Rollup](https://learnblockchain.cn/article/2637)。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。如果该声明是错误的,那么验证者可以进行简明的欺诈证明并惩罚证明者。使用这种机制,任何可计...

文章 为Web3治理设计奖励系统

...担忧,尽管这些担忧可能通过 zk-SNARKS 或其他类型的 [知识证明](https://learnblockchain.cn/article/11474/) 来克服。 在实践中,结合 **代币和声誉分数的某种组合** 是有意义的,例如声誉导致某些但不是所有治理功能。Optimism 的 [两院...

文章 每周以太坊 2024/11/16

...mp-epoch-infinity/):8 个问题的 Solidity 测验答案 * 0xPARC [可证明对象数据类型](https://pod.org/)(POD):用于 Zupass、FrogCrypto 和 Meerkat ## **安全** * DeltaPrime [$4.8M 漏洞](https://rekt.news/deltaprime-rekt2/) 在 Arbitrum 和 alt L1 上,攻击者随...

文章 你应该了解的 - 以太坊 2.0 信标链解释

...擎在飞行中更换了!2022 年 9 月 15 日 — 以太坊转向权益证明的一天。 那个新引擎就是信标链。 你觉得是时候了解一下它是如何工作的吗? 以太坊的信标链将通过示例进行说明,以便让你熟练掌握并节省时间。 ## Slot ...

文章 DeFi 的理论与实践

...态,甚至简陋。投资人需要使用命令行和掌握基本的编程知识才能参与。这是一个很大的门槛。 ![](https://img.learnblockchain.cn/2020/03/06_/549591227.png) 随着(去中心化和中心化)商用软件的不断开发,区块链上的金融服务才不断让...

文章 发布L1 zkEVM #2:安全基础

...统已经冲刺了一年。并且它奏效了!我们已经到达了实时证明的终点线! 现在进入下一个阶段:构建一些主网级别的产品。 ### 从速度到安全 7 月,为了实现实时证明。九个月后,证明延迟从 16 分钟降至 16 秒,成本降低了 45 ...

文章 利用 Lighter + Succinct 实现无跨链桥的可组合性

...境中**最**安全的环境(L1)中,而它们的价值通过密码学证明被投射到高性能的 L2 上。 这种方法值得注意,因为它将以太坊 L1 视为资产的基本资产负债表,而 L2 则成为专门的执行表面。该模型可以通过提高资本效率、实现...

文章 知识—使用imToken钱包还能调用合约!

# 一、imToken能调合约? 今天在看以太坊多重签名时,发现都是通过智能合约来实现的(类似投票合约),那么就有一个问题,主流的钱包如imToken,怎么调用智能合约呢。 以前使用imToken钱包都是直接转账,从未想过使用imToken...

文章 为什么要写一个 Cogoma:Go 语言实现的 Codama IDL 生态系统

...于 Codama 1.0.0 标准 - **行业影响**:大型项目的技术选择证明 Codama 的成熟度 - **Go 生态困境**:Go 开发者无法直接集成这些官方程序的 IDL **这个现状凸显了 Cogoma 的核心价值**:随着 Solana 基金会推动 Codama 标准化,Go 生态中缺...

文章 多项式承诺通过 Pedersen 承诺实现

一个多项式承诺是一种机制,证明者可以通过它说服验证者多项式 p(x) 在点 x 的评估 y=p(x),而不披露任何关于 p(x) 的信息。过程如下: 1. 证明者向验证者发送一个承诺 C,"锁定"他们的多项式。 2. 验证者回复一个他们希望对...