不少人看了@zkSync新发的动物园科普图文大呼懵圈，把动物园比做电路circuit，把拥有特殊技能的动物视为“逻辑门Gate”，把动物们都开心的合影当成“证明Proof”，这样输入电路的数据在不透露具体内容的前提下，经过一系列复杂计算，生成一个Proof，就完成一次零知识证明过程。来，我试着硬核科普一下：1）动物园对应的是“电路”，电路其实是一系列逻辑门约...

12月13日消息，ZK技术开发公司=nil; Foundation宣布推出新型Type-1 zkEVM，由zkLLVM驱动，旨在提升以太坊扩展的安全性。zkEVM V1现已向公众开放，包含原型代码库、规范和相关博客文章。=nil;利用zkLLVM将高级代码（如C++或Rust）自动编译为高效的zk-SNARK电路，这种自动化编译方式与传统手动定义电路的方法...

10月10日14:00，以太坊二层解决方案 Scroll 主网产生了第一个区块，标志着 Scroll 的主网成功上线。截止到10月25日，已有超过7600个ETH通过跨链桥进入 Scroll 网络，24个去中心化交易平台上线 Scroll 主网，总TVL约1千万美元。10月17日，Scroll 官方在宣布主网启动的同时，继续坚持开源和去中⼼化的承诺。下⼀阶段...

零知识证明（ZKP）是一种强大的密码学工具，它可以在验证计算的正确性的同时，保护输入数据的隐私。作为这一关键基础设施的组成部分，领域特定语言（DSL）发挥了至关重要的作用，简化了 ZKP 电路的开发和验证过程。它们在将抽象概念与证明系统所需的精确电路表示之间扮演了重要的角色，充当了两者之间重要的桥梁。证明系统面临的关键挑战之一是将抽象的高层概念转化为实际电路...

8月30日消息，据AlexaBlockchain报道，Web3基础设施初创公司IronMill宣布完成260万美元Pre-Seed轮融资，Gumi Cryptos Capital领投，Blockchain Builders Fund、Superscrypt、LongH...