本文介绍了lookup协议，它用于处理SNARKs难以处理的特定操作。文章详细阐述了多种lookup协议，包括Plookup、Caulk、Caulk+、Baloo、Flookup、cq和LogUp，并探讨了它们在范围检查、有限域函数、有限状态机、zkEVM/zkVM等领域的应用，最后总结了lookup协议通过牺牲更高的证明大小来换取更快的证明和验证的优势。
