CAN:详解Nil：如何凭借零知识电路编译器zkLLVM估值2.2亿美元？_TER

成立于2018年的ZK技术开发公司Nil以2.2亿美元的估值完成了2200万美元融资，由PolychainCapital领投，IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等参投。值得关注的不止是融资金额，还有投资者名单——Starkware和MinaProtocol这两个ZK生态的技术型选手也参与了。链茶馆此前介绍过Starkware和MinaProtocol。Starkware团队推出了证明系统STARK，并在随后的技术外包生涯中积累了比较完整的业务逻辑的技术，并最终推出了StarkNet。仅有22KB的轻量区块链Mina也非常值得关注，用来完成证明生成过程。编译零知识电路，往往意味着要涉及小众编程语言、特定领域的软件库以及要非常懂密码学，因此是一项复杂且得及时反应的工作。而NilFoundation在LLVM的基础上构建了一个主流语言编译器，试图成为开发者编译零知识电路最好的工具。最近还宣布了要创建ZK证明市场，是为了帮助ZK团队分担他们的工作，并将某些类型的计算外包给第三方。NilFoundation已在Github上发布了该项目，任何开发人员都可自由使用或修改zkLLVM的代码。目前NilFoundation团队成员大多分布在欧洲，从瑞士开始到俄罗斯远东地区都有其员工，全采远端式办公。创始人MikhailKomarov还是Cryptarithm的建筑师和软件工程师，先前在cyber?Fund担任高阶软件工程师。不过零知识电路如果编程错误，就会造成不可逆性的代价。先前zkLLVM的早期版本代码库曾在网上泄露，当时就有开发者表示他们不敢相信NilFoundation的电路生成功能。所以zkLLVM目前在应用范围广的层面上还是存在着局限性，这些程序或许更复杂，才无法转化为零知识形式。但无论如何，NilFoundation目前的方向没有错——专注在zkLLVM代码库的成熟度，让开发者不必花太多时间在ZK电路构建的细节，而是关注应用本身。

Starknet alpha v0.12已在测试网上线，7月12日将上线主网:7月5日消息，Starknet已经在Georli测试网上线Starknet alpha v0.12，新版本使用Rust blockifier和LambdaClass的Cairo VM来加快排序器处理事务的时间，支持Cairo编译器v2.0.0版本，将PENDING状态变更为ACCEPTED_ON_L2（ 一旦交易处于该状态，这意味着将被包含在区块中），并添加了实验性系统调用。

根据Starknet治理促进者此前发布的Starknet v0.12.0部署时间线，7月12日Starknet v0.12.0将部署至主网。[2023/7/5 22:19:09]

Tornado Cash攻击者发布一项恢复治理的新提案:5月22日消息，Tornado Cash 社区成员 Tornadosaurus-Hex 在论坛中表示，Tornado Cash 攻击者发布了一项恢复治理的新提案，并且很有可能会执行它，他在恶意提案中给自己的 TORN 作为 lockedBalance-s，并将其重置为 0。如果提案通过，攻击者集成到协议中的恶意代码将被删除，代币持有者将重新控制 Tornado Cash 的 DAO 治理权。Tornadosaurus-Hex 表示，他或者其他人需要提出一个提案来更新治理合约。Tornadosaurus-Hex 已经准备好修复逻辑，但需要验证存储布局，以便代理升级不会破坏合约。

鉴于攻击者持有 TORN 治理代币，该提案似乎将在 5 月 26 日投票结束时获得通过，但尚不清楚该行动何时执行。当提案通过时，攻击者集成到协议中的恶意代码（允许他们从他人那里窃取投票权）将被删除，Tornado Cash 的 DAO 的治理权将交还给代币持有者。[2023/5/22 15:17:57]

The Graph与Banxa合作支持法币支付:金色财经报道，去中心化的基础设施协议The Graph与web3法币到加密货币网关Banxa合作，使用户能够用法币而不仅仅是加密货币支付，以访问其区块链的索引和查询数据。该整合旨在降低去中心化协议的障碍，使开发者更容易以类似于传统软件即服务（SaaS）产品的方式访问区块链数据。[2023/3/24 13:22:49]

标签：CANNTOCOMTERtokencan交易所可靠吗SpintopCompound Basic Attention TokenCardstarter

波场热门资讯