表格分解

Justin Thaler 讲解 Lasso

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