找到约 15 条结果

文章 Finality Bridge:Bitcoin 最小化信任的桥接技术

...的核心基于 BitVM 智能合约、欺诈证明(Fraud Proofs)和知识证明(Zero-Knowledge Proofs)的复杂组合。虽然 BitVM 智能合约的概念来源于原始的 BitVM 协议,但 Finality Bridge 使用了经过优化的改进版本,其具体实现可以在 [BitVM2 论文](h...

文章 区块链中的数学 -- Accumulator(累加器)

...学 - 多项式承诺](https://learnblockchain.cn/article/2165) 多项式知识和承诺 [区块链中的数学 - Pedersen密钥共享](https://learnblockchain.cn/article/2164) Pedersen 密钥分享 [区块链中的数学 - Pedersen承诺](https://learnblockchain.cn/article/2096) 密码...

文章 Hyperliquid的秘密调料

...。 **目的**:通过允许用户匿名利用顶级交易者的专业知识,民主化访问交易盈利。 **关键特性**: - 任何人都可以创建Vault并管理资金,Vault管理者需保持至少5%的股权,获得10%的利润分成。 - 用户可以根据绩效浏览并...

文章 下一个 700 种 EVM 语言

... } return computedHash; } ``` 这是来自一个默克尔证明库的函数,你可以从一个叶子和一个默克尔证明计算出一个默克尔根。在这个函数中,我们使用了一些高层抽象,换句话说,它们并不直接映射到 EVM 指令,比如这个 ...

文章 评估Solana在企业中的应用:一个全面指南

...语言的支持、跨不同区块链桥接的程序化方式,以及对知识证明的内置支持。Solana的新代币标准[Token22](https://learnblockchain.cn/article/10915)引入了一系列功能,例如保密转移和转移钩子,进一步增强了企业在SPE中构建的能力。 So...

文章 格密码学进阶之三:基于格的Identity-based Encryption(身份加密)

...**simulate**(**模拟**)出来。 说到模拟的概念,了解知识的朋友都不陌生了。假如我不知道$SK_{ID^*}$,也可以完全模拟出IBE系统里其他ID的transcript(交互信息)的话,那就代表其他的ID下的加密解密的transcript对于$SK_{ID^*}$这一...

文章 IOTA 对下一个基于 DAG 的突破的押注

...转变探索哪些新的方向? 深入的内部研究和工程专业知识,以及适应不断变化的市场需求的能力——这些是 IOTA 团队的标志,也是其长期弹性和创新的基础。那么,他们为什么选择对 Sui 上的 MOVE 进行大规模的 rebasing,以及他...

视频 Go 编程 - 实战篇

...用户添加 RSS feed 并自动抓取内容。 2. **所需工具**:SQL 知识、文本编辑器、Go 语言环境、HTTP 客户端。 3. **项目初始化**:创建 `main.go` 文件,初始化 Go module,创建 Git 仓库,设置 `.gitignore` 文件,使用 `.env` 文件管理配置。 4...

文章 StarkNet 组成部分、工作原理与网络延迟

...StarkNet 网络延迟的原因 首先我要说明,文中 75% 以上的知识是由 StarkNet 开发倡导者 [@barretodavid](https://twitter.com/barretodavid) 写的文章翻译而来,剩余的 25% 是我增添的,有英文阅读能力的小伙伴可以自行阅读原文。 [![StarkNet...

文章 Mina Learning - Polynomial commitment

... 4 个 域元素(压缩后)优化成 2 个域元素. 下面来添加知识(给 pedersen commitment 添加 hiding), 有 $$ \begin{align*} C &= A + zU + rH \\ &= \langle \vec{a}, \vec{G} \rangle + \langle \vec{a}, \vec{b} \rangle U + rH \\ &= C + x^{-2}L + x^{2}R , \end{align*} $$ ...

文章 最大可提取价值(MEV):一个和时间一样古老的故事

...//www.decentriq.com/article/what-are-privacy-enhancing-technologies) **知识技术**是一种密码学技术,允许各方验证声明(交易)的真实性,而无需透露详细信息。这是一种在两方之间证明交易有效性的机制,其中一方(证明者)证明隐藏数...

文章 为什么 LI.FI 对 Eclipse 及模块化未来感到兴奋

...点)使用欺诈证明对其提出质疑并证明不是这样。 - [知识欺诈证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof) — 通过生成 zk 证明来验证交易。 它是“一方(证明者)可以向另一方(验证者)证明给定语句为真 **而无需** 传达...

文章 Prover Killers Killer:你构建,你证明 - 执行层研究

...较小的备份构建者可能无法为前一个区块创建证明。这种知识可能允许这 (一联盟) 构建者“挟持以太坊”,并榨取租金。如果插槽 `n` 的构建者负责插槽 `n` 的证明,这种现象就会消失。如果一个构建者离线,区块内容将被跳过...

课程 技术和英语一起学|认识加密行业

...生态系统,确保去中心化和可靠性。 第2层通过rollup和知识证明等创新技术实现了速度和可扩展性。 [Youtube 原视频](https://www.youtube.com/watch?v=ei3tDRMjw6k) | [下载英文文稿](https://img.learnblockchain.cn/web3-en/Ethereumin30minutes.pdf) | [B ...

文章 以太坊协议可能的未来 #1:The Merge

...ZK-EVM)大胆尝试并在 L1 的以太坊协议中引入执行通用知识证明的机制时,SSLE 的 “边际额外复杂性” 才会下降到足够低的水平。 另一种选择是根本不理会 SSLE,而是使用协议外缓解措施(例如在 p2p 层)来解决 DoS 问题。 ...