...ne CLI](https://github.com/zksecurity/stone-cli)，这是一个用于轻松证明和验证 Cairo 程序的工具！非常感谢 StarkWare 团队的工作和指导，以及 Lambdaclass 和 Herodotus 团队为实现这一目标所构建的基础设施。 ## 动机 目前，Cairo 生态系统是分...
PLONK算法虽然只需要一次初始设置，但是证明的计算复杂度相对Groth16算法更高。PLONK算法的好处，远不止初始设置这么简单，因为任何电路都可以共用初始设置，PLONK算法本身的验证逻辑也可以使用初始设置。也就是说，基于PLONK...
...它举办过 ICO 的协议最终让创始人致富，XCP 是通过 *燃烧证明* 来分发的，意思是，你只有烧掉比特币才能获得 XCP。这意味着创始人也只能燃烧自己的币才能获得 XCP，因此不能通过预先发行来致富。 ### XCP 有什么用？ 虽然...
...以是一个 [SNARK 验证器](https://bitvm.org/snark)，比如 Groth16 证明系统的验证器。那么 `x` 就是一个证据，而 `y` 就是一些 SNARK 证明了有效性的输出状态（output state）。 在 SNARK 验证器这样的例子中，程度太大，无法用一段比特币...
...一无二的 NFT 使个体艺术家能够在不需要大型团队或技术知识的情况下销售数字艺术。根据 Particles 的 [1-of-1 NFT 排行榜](https://tools.particlesnft.io/)，以下是 Solana 上一些最突出的 1-of-1 艺术家： #### **Boogle** Boogle 是一位 Solana NFT ...
...我们有一棵只有一个根哈希值的树。 现在，一个**Merkle证明**是你向**只知道根哈希值的人证明**任何值实际上是这棵树的叶子之一。例如，你可以证明L3确实包含一个给定的值。人们需要做的就是提供Hash0，Hash1-1和L3块本身。...
...算法都是确定性的。 通常，VC 设置包括： 1. 一个 **证明者**，计算向量的 **承诺**。 2. 一个 **验证者**，得到这样的承诺，并且对验证一个元素 $v_j$ 确实位于承诺向量中的位置 $j$ 感兴趣。 ### Vanilla (普通) VC $\mathsf{VC.C...
... 对于构建者来说，理解这个流程至关重要。它需要以下知识： - **智能合约标准（ERC-20，ERC-1400 用于代币化证券）。** - **预言机网络和链下数据验证。** - **互操作性协议集成（CCIP、IBC、LayerZero）。** ## 开发者注意事项...
...托给你的验证者，从而增加你的总质押权重。 #### 技术知识 成为 Solana 验证者需要扎实的技术技能和知识基础。验证者负责为 Solana 区块链运行关键基础设施，因此了解技术方面可以确保可靠性、安全性和性能。你需要熟悉...
...得对特定区块内容的承诺，而验证者则不会获得该内容的知识。市场现在被称为**mev-boost**，并将由**区块构建者**创建的区块的**头部**及构建者提出的出价转发给区块**提议者**，承诺为选择他们制作的区块支付一定金额。在市...
...//hackmd.io/@lagrange/lagrange-committee) - [**_Recproofs：可更新批量证明的向量承诺及其应用_**](https://uploads-ssl.webflow.com/6460ebf2b6ff254688bebf1c/64e4dd54d9198fde8d58ef44_main.pdf) - [**_Nova：从 IVC 到 zkMapReduce 的通用 PCD_**](https://lagrangelabs.notion.site/Nova-fr...
...态并存在非活跃泄漏 (inactivity leak)，我们估计除了因缺少证明 (attestation) 而损失大约 50 ETH 的收入外，还损失了 28 ETH。 总的来说，我们估计应用了 28 ETH 的惩罚，验证者错过了 55 ETH 或更多的潜在收入。这低于每个验证者 0.00015 ...
与比特币一样，以太坊目前使用一种称为工作证明 ([PoW](https://learnblockchain.cn/article/364))的共识协议。这允许以太坊网络上的所有节点就区块链的当前状态达成一致，并保护网络免受各种攻击。 > 2022 年晚些时候，工作量证明将...
...](https://x.com/nixorokish/status/1864679505425486123): 21 个验证者因证明违规而被削减 * [SOLO 质押](https://ethresear.ch/t/solo-liquid-staking-for-solo-validators/21157): 提议使用不太可能丢失的质押部分进行流动质押，无需治理、受信硬件或许可的操作...
...na 及其架构的特殊性，并介绍在其上开发智能合约的基础知识。 # Solana是什么? Solana 是一个高性能的区块链平台，专为去中心化应用程序和加密项目而设计。它以交易速度快和费用低而闻名。它的应用很广泛，包括去中心化...