深潮TechFlow消息   Mina 的零知识智能合约 zkApp 目前正在 QANetwork Berkeley 上进行测试。这是在 Mina 主网上实现智能合约易于编程的下一个里程碑。Mina 即将成为第一个拥有高效且易于编程的零知识智能合约的 L1。

轻量级区块链的加密货币协议 Mina 由可验证计算领域领导团队 O(1) Labs 打造，使用密码学和递归零知识证明 zk-SNARK 来设计一个完整的区块链，使其大小能够保持约 22KB （约为几条推文的大小），且验证当前的区块链状态速度极快。（原文链接）