# Lagrange宣布公开测试网“Euclid”，旨在实现以太坊的第一个可验证数据库和 ZK 协处理能力 By [Web3DAO](https://paragraph.com/@web3dao) · 2024-05-11 ---       Lagrange实验室宣布推出新的公开测试网“Euclid”，这是Lagrange ZK 协处理器和可验证数据库开发中的一个重大里程碑。通过 Testnet Euclid，开发人员可以开始构建利用可验证的 ZK 数据库进行高效且低成本查询的 dApp，该数据库存储着历史区块链数据。与 typicaZK 协处理不同，后者首先证明从区块链中提取数据的过程（这可能计算成本高昂，并且每次提取都受限于小型数据集），然后对提取的数据进行计算。Lagrange的 ZK 协处理器通过可验证地索引和构建区块链数据的证明友好数据库，然后在其上运行高效且并行化的计算和证明。 ZK 协处理器与可验证数据库 --------------       Lagrange的首个测试网 Euclid 为一种独特的 ZK 协处理方法奠定了基础，使得以太坊上的每个智能合约都拥有自己的可验证数据库。借助Lagrange的 ZK 协处理器，开发人员可以尝试一种新的设计模式，用于定义、部署和查询链上的可验证数据库。该测试网的目标是测试Lagrange将在产品未来版本中改进和完善的功能，其中包括： ### 超级并行化       Lagrange ZK 协处理器以并行化和分布式方式运行，将计算分解为多个小任务，可以分配给多台机器，机器集群可以并行执行这些计算。因此，协处理器中的计算可以水平扩展，即随着更多机器的参与，可以更快地生成更大数据集上的证明。这导致了对大量链上状态数据的计算和证明变得更加高效，这主要得益于Lagrange的证明构建实现的。 ### 动态更新       与其需要证明链的历史状态，然后随后在现有数据集上证明一系列计算不同，Lagrange ZK 协处理器能够在历史合约存储状态的现有可验证数据库上执行动态和定向的计算。这大大减少了证明时间，并且在计算特定数据点上非常有用，这些数据点是针对不断增长的链上状态大数据集的，例如在一定时间段内计算去中心化交易所（DEX）上资产对的平均流动性。 ### 超可扩展的查询       我们的可验证数据库方法意味着 ZK 协处理器能够查询比其他 ZK 协处理器更大的存储槽集。其他方案可以证明单个存储槽，但依赖于智能合约或计算密集型的通用证明来执行计算，而Lagrange ZK 协处理器可以同时证明数量显著更多的存储槽，并在其上执行计算，然后将最终结果带到链上。       例如，每个新的以太坊区块，Lagrange都会生成并更新一个数据库索引的正确性证明，以插入 8888 个新的存储槽值。这已经比其他存储证明或协处理器解决方案要大一个数量级，这些解决方案往往难以计算超过几百个存储槽的证明。一旦存储数据加载到 Euclid 中，用户可以在单个证明中查询数百万个存储槽，远远超过现有最先进解决方案的可能性。       Lagrange的 ZK 协处理器是由Lagrange技术栈的各个方面支持的，包括可验证数据库、用于可更新、简明批量证明的专有 [Reckle Trees](https://uploads-ssl.webflow.com/6626eae60883543ea2814ed0/663ae212514dced3ce273702_reckle-trees-research-paper.pdf) 研究以及我们对证明通用 [MapReduce](https://medium.com/@lagrangelabs/a-big-data-primer-introducing-zk-mapreduce-12cf404eab75) 计算的研究。使用Lagrange的开发人员可以构建以前无法实现的区块链应用类型，并在计算规模上实现其他解决方案无法实现的水平。 关于测试网 Euclid ------------       在测试网 Euclid 中，Lagrange将 Pudgy Penguins 的存储实例化为一个可验证数据库，开发人员可以通过链上查询进行测试。我们的第一个可验证数据库作为一个通用框架，允许开发人员使用 SQL 查询任何 ERC-721 NFT 合约，跨指定的区块范围，并且已在以太坊主网上实现。       首先，用户可以在请求的区块范围内对 Pudgy Penguins NFT 合约数据运行特定的 SELECT 语句。我们已经硬编码了以下查询： SELECT DISTINCT(nft_ID) from DB.pudgies WHERE owner = x AND block_number> y AND block_number