对话 Nil Foundation 创始人：ZK 技术或被误用，公开可追溯并非加密初衷_MarsBit

ZK开发商Nil Foundation推出zkLLVM新技术

=nil;项目的核心目的是实现区块链间的无信任数据交互。通过使用数据库管理系统（DBMS）的典型功能，它能够实现各个不同协议的数据访问和互操作，而不需要依赖中心化的数据中继者。以下是主要的方向和功能：

1. 无信任数据检索：通过结合数据库查询计划和SNARK证明，用户可以确认所返回数据的来源并验证其正确性。这可以确保数据从数据库状态正确提取，并且与实际区块链状态（如Solana或Ethereum）一致。这样，用户不需要信任数据提供者，也不需要自己重复计算验证。
2. 无信任桥接：通过使用与=nil; `DROP DATABASE *节点兼容的协议适配器，可以实现不同区块链之间的无信任桥接。这意味着例如Solana、Avalanche等区块链可以通过相同的查询语言实现数据互通，并通过有效的证明机制保证数据真实性。
3. 可插拔扩展：通过使不同的L1集群之间可以相互生成和验证状态/查询证明，实现了可插拔的线性扩展。这对于提高吞吐量和降低扩展成本非常重要。
4. 独立部署与分区管理：利用DBMS的特性，可以实现数据的有效分区和独立部署，有助于处理大量状态数据。
5. 适应不同的数据库负载类型：通过适应不同的OLAP和OLTP数据库负载类型，提供更灵活和高效的数据管理。
6. 跨协议的应用：通过同一种查询语言和有效的证明机制，=nil;项目可以广泛适用于Eth、Solana等不同的区块链平台。

=nil; zkLLVM Circuit Compiler

zkLLVM 工具简介

zkLLVM 是一个独立的工具，用于生成零知识证明（zk-proofs）。它可以作为 C++ 和 Rust 的编译器（clang 和 rustc）的替代品，让开发者无需搭建复杂的环境，便能将代码编译成电路。

主要特点：

1. 无需搭建证明生成器: 即使算法庞大无法在本机运行，也可以在 proof.market 上发布订单，借助社区的计算能力。
2. 证明的通用性: 证明是一个简单的 JSON 文件，可以在任何地方使用，甚至可以在 proof.market 上出售。