找到约 13 条结果

文章 哥布林 Plonk 递归手册

# Goblin Plonk: 惰性递归证明组合 简介 --- - \[High level overview(高级别概述)](/GfNR5SE5ShyXXmLxNCsg3g) - \[Recursion protocol(递归协议)](/dUsu57SOTBiQ4tS9KJMkMQ) 章节 --- - \[Speeding up SNARKs with an Instruction Machine(使用指令机器加速SNARK)](/kMfIhwzNQ\_WAa78lqfhk...

文章 这次一定好好学 Solana (3) : 交易和费用

这篇应该是正式写代码前最后的理论知识了, 我这篇绝对比看官网文档效率高, 官网像一个冰冷的机器, 而我的是一个有温度的肉体 --- # Solana 交易入门:从拼装参数到 SVM 执行 我之前学过 BTC、Sui 和 CKB 的开发,感觉区块...

文章 Mina 文档 - Snapps

...构建。 2. 应用程序的其余部分,调用snarky来创建和验证证明。目前有用于Node.js和OCaml/ReasonML的api以这种方式与snarky程序交互。 我们将使用两个Node.js库: ● [snarkyjs-crypto](https://learnblockchain.cn/article/3346),它让我们能够访问密...

文章 STARKs中的算术化 - AIR简介 - I

...息。 ### 代数布局与路由(APR) 在 APR 中,AIR 实例和证明直接映射到一组 Reed-Solomon 接近性问题(函数是否看起来像低度多项式)。要构建这个新框架,我们将定义 为集合 的 [消失多项式](https://zcash.github.io/halo2/background/polyn...

文章 ETK:以太坊对象格式(EOF)实现

...能在EPF持续时间之前得到解决。 在这种情况下,同样的知识可以很容易地扩展到其他语言。 - 虽然我们尚未进行深入讨论,但有可能与Fe语言开发团队合作,后者在语言设计方面似乎处于更深入的研究阶段(如果这种合作富有...

文章 以太七日谈 • 2022/3/1

...0 进展更新:zkEVM 公共测试网上线** zkSync 是一个基于知识证明密码学的以太坊扩容解决方案。根据其创始团队 Matter Labs 在文章 [“zkSync 2.0: Hello Ethereum!”](https://www.ethereum.cn/Technology/zksync-2-0-hello-ethereum) 中所介绍,zkSync 2.0 由...

文章 自动化做市商(AMM)详解

...合成衍生品](https://learnblockchain.cn/article/18918) [了解储备证明](https://learnblockchain.cn/article/18921) [什么是闪电贷?](https://learnblockchain.cn/article/18920) [什么是 DEX(去中心化交易所)?](https://learnblockchain.cn/article/18929) [DeFi 的无需许...

文章 签名哈希运算平方膨胀问题与隔离见证

... SegWit 如何将签名哈希算法的时间复杂度降至 O(n) 的背景知识,请参阅本文开头给出的链接。 (完) >- 本文转载自: [btcstudy.org/2023/04/10/...](https://www.btcstudy.org/2023/04/10/life-before-segwit-understanding-the-quadratic-sighash-problem) , 如有侵...

文章 BOLT 8:加密和认证传输

....creativecommons.org/l/by/4.0/88x31.png "License CC-BY") 本作品采用 [知识共享署名 4.0 国际许可协议](http://creativecommons.org/licenses/by/4.0/) 授权。 >- 原文链接: [github.com/lightning/bol...](https://github.com/lightning/bolts/blob/2e8f2095a36afb9de38da0f3f0051c7dc16df...

文章 EIP-7864:使用统一二叉树的以太坊状态 - EIPs

...下原因重新引起了人们的兴趣: 1. 潜在的 PQ 问题 2. 证明系统快速发展,并越来越接近通过 SNARK/STARK 实现可行的状态证明。 * * * 关于二叉树设计,有两个主要的开放性问题: 1. 稀疏 vs 非稀疏 2. 使用哪种哈希函数进...

文章 盘点市场中主流 BTC L2 的实现方式

...通过 Merkle 树的方式组合,实现更复杂的逻辑,这为 L2 上证明系统提供了可能性; 🔹 Tapscript 升级了比特币脚本,允许验证一系列脚本,来决定 [UTXO](https://learnblockchain.cn/tags/UTXO) 是否能被花费,这为 L2 的提款、罚没等操作...

文章 2节课建立一个数字货币交易所

...,您能够系统的了解开发和运营一个数字货币交易所相关知识。 **课程亮点:** 业务层面了解数字货币交易中的流程和需要关注的重点 技术层面了解如何设计和架构数字货币交易所 ## 2 课程大纲 ### 课时1:数字货币交...

文章 赔付曲线序列化

...们分别使用正平方根和负平方根。 ### 作者 Nadav Kohen ![知识共享许可协议](https://i.creativecommons.org/l/by/4.0/88x31.png "License CC-BY") 本作品已获得 [知识共享署名 4.0 国际许可协议](http://creativecommons.org/licenses/by/4.0/) 的许可。 >- 原文...