今天我们为您带来《Behind the Proof》，在这里我们探索使 Brevis 成为可能的卓越人才。 首先介绍：Alan Li @succinct_li，我们的首席科学官。🧵

在创办Brevis之前，Alan在麻省理工学院获得了电气工程和计算机科学的博士学位，随后创办了一家AI科学初创公司，推动了三个药物管线进入开发候选阶段，并在《自然》和《细胞》上发表了研究成果。 这证明了Alan能够快速进入陌生领域并掌握它，交付成果。

在加入 Brevis 几个月内，艾伦解决了 zkML 最棘手的问题之一。 神经网络本质上是稀疏的，但现有系统对每个操作都进行了同样的处理。他开发的协议 SpaZK 仅为重要内容生成证明，显著降低了计算成本。

然后是 Pico Prism。 当 Alan 加入时，最先进的技术是在 10.3 秒内证明 40.9% 的 Ethereum 区块，使用 $256K 的硬件。 在他的领导下：覆盖率达到 99.6%，平均时间为 6.9 秒，使用 $128K 的硬件。 所有这一切都在一年内完成。

接下来是什么？ 艾伦的团队目标是使用少于16个GPU进行99%的实时证明及更高。 随着ProverNet主网测试版的上线，我们预计艾伦的工作将影响整个生态系统中ZK证明的协调方式。

这就是拥有艾伦作为首席科学官的意义。当 Brevis 面对困难问题时，我们知道我们有一个能够找到解决办法的人。 我们只是触及了表面。 阅读完整的个人资料：