找到约 12 条结果

文章 零知识证明的先进形式化验证：两个ZK漏洞的深度剖析

...ments/2024/10/QJWQNumU6705eccc0729b.png) 我们曾经讨论了[零知识证明的先进形式化验证：如何验证一条ZK指令](http://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=1\&sn=e5a6deabb78220190c027570b58943f0\&chksm=feacaf45c9db26539e50d6973bcc0c85d2bd22d518e23d1...

文章 什么是DeFi ？

## 什么是去中心化金融？  加密货币的推出引起了人们的关注，既带来了乐观态度，也产生了悲观情绪，但比特币（BTC）证明了去中心化数字货币不仅是可能的，而且可以...

文章 多签 vs 多方计算：谁更安全？

...，下至最无知的门外汉，都有可能创建出自己无法破解的算法。_”遗憾的是，很多密码学算法从未在数学上被证明过有效。然而，密码学家都非常依赖同行评审，而且需要经过足够长的评审期（以年乃至十年为单位计算）才能...

文章 零知识证明 - DIZK介绍

...4章详细描述了FFT/Lag/fixMSM/varMSM四个计算都能采用分布式算法。简单的说，FFT的分布式算法相对复杂一些，其他三个计算天生可以分布式计算。 分布式计算的核心，是让多个executor执行的计算量尽量均匀。在Lag的计算步骤中，...

文章 Chainlink预言机在智能合约中的77种应用方式（三）

...c&scene=21#wechat_redirect)一文基础上做了进一步扩展。 * 去中心化金融 * 链下支付 * NFT、游戏和随机数 * 保险 * 企业系统 * **供应链** * **公用事业** * **身份和授权** * **政府** * **其他** ## **供应链** 供应链包括从原材料...

文章 什么是 Agoric (BLD)？一个全面的概述

...开发人员提供一个熟悉且安全的框架，用于构建和部署去中心化金融 (DeFi) 应用程序。 这份 **Agoric 区块链演示** 深入探讨了该平台、它的工作原理、它对更大的区块链空间的功能和优势，以及原生代币 BLD 和 [Agoric **质押**](htt...

文章 如何定义 Bitcoin L2 以及包容性视角的 L2

...果要从技术上定义 L2，关键是要让它能明显的和 L1 以及中心化的方案有区别。我认为关键有两点： 1. L2 并不创造新的区块空间。创建新的区块空间的技术解决方案本质上都是 L1。 2. L2 要利用 L1 来实现数据可用以及安全，否...

文章 Hydro 为百亿 DeFi（去中心化金融）准备了一个SDK

...的这一波淘金人就是各种 DeFi 项目（Decentralized Finance 去中心化金融），Hydro 通过 SDK 为淘金人送水，本文分析了DeFi市场的变化、去中心化交易平台需要的什么样的技术，以及给出来相应的方案。 ## DeFi市场的变化 2019年3月...

文章 衡量 Solana 的去中心化：事实与数据

...网络，已在 16 个国家扩展到 1,300 名成员。 ## 什么是去中心化？ 去中心化可以总结为系统内没有单一故障点。这一多维概念涵盖许多方面，包括代币分布、关键人物的影响、无权限的网络参与、对开发的控制以及软件/硬件的...

文章 什么是 “数据可得性” ？

...大多数人都会运行安全性更低的轻客户端。这并不利于去中心化，因为这会让区块生产者更容易更改协议规则，插入无效交易来欺骗轻客户端。因此，为轻客户端提供欺诈证明支持很重要，但是正如我们已经讨论过的，轻客户端...

文章 Solana节点 - 完整指南（2023）

...（PoH）协议是一种密码学方法，用于可靠地排列记录在去中心化账本上的交易和事件。Solana的架构使交易能够在进入网络时被排序，而不是依靠由验证者节点完成的区块排序。 Solana使用委托权益证明协议。任何拥有SOL的人都...

文章 区块拍卖 vs. 槽拍卖：提议者-构建者分离

...类似的方式获利，因为他们获得了更多的信息，这导致了中心化或减少延迟的努力。但是在区块与 slot 拍卖中，重要的是一个有竞争力的构建者需要预测什么，但稍后会详细介绍。 ### 时机博弈 [时机博弈](https://ethresear.ch/t/timin...