Aleo之家许多人认为现有的第 1 层协议可以适用于支持用于身份、数字现金和机器学习等用例的私有智能合约。但事实要复杂得多。
仅仅“使用 ZK”是不够的。您需要有一个超快的证明系统，允许可委托的隐私保护证明构建。您需要有一个经过正式验证的 ZK 编译器来进行任意计算。
你需要有一个允许链下执行、并行访问共享状态和原生汇总式 tx 聚合的事务模型。你需要为 zk 证明者和 zk 证明硬件的开发提供原生引导激励。
有如此多的项目声称为私有智能合约和高吞吐量可验证计算提供了有效的解决方案，考虑到当今广泛部署的协议数量，看起来问题似乎已经得到了微不足道的解决。
不幸的是，当您阅读细则时，情况并非如此。
是第一个在互联网规模上提供安全、隐私保护的智能合约的区块链。查看运行中的测试网 3： developer.aleo.org/testnet/gettin
