登录 后可观看高清视频
Justin Thaler 讲解 Lasso
20次播放
19小时前
视频 AI 总结： 该视频主要介绍了 LASSO，一种新型的查找论证方法，它比以往的方法在证明者方面速度快了一个数量级。LASSO 的优势在于证明者需要提交的字段元素更少，且这些字段元素的值较小，从而加快了加密提交的速度。此外，对于许多表格，证明者无需提交表格。LASSO 能够支持巨大的表格，并利用表格的可分解性构建了 JOLT，一种新的 ZKVM 技术。
关键信息：
- LASSO 是一种新型的查找论证，证明者速度更快。
- LASSO 提交的字段元素更少且值更小。
- 对于许多表格，证明者无需提交表格。
- LASSO 支持巨大的表格，并利用表格的可分解性构建了 JOLT。
- JOLT 是一种新的 ZKVM 技术，具有更低的证明者提交成本。
- JOLT 证明指令执行正确性是通过查找一个巨大的表格来实现的。
