Ironmill

IronMill正在构建可验证的互联网 (Verifiable Internet)。IronMill的软件工具弥合了零知识证明 (ZKP) 的科学进步与值得信赖、互联网规模的系统之间的差距。