Pil-stark（PIL）工具包代表了 Polygon 在 zkEVM中创建代数状态机的工具，用于定义 EVM 计算验证的正确性。该工具包还用于生成 STARK 零知识证明 (ZKP)，以验证任意用户交易的计算。也就是说，PIL 工具包是 Polygon zkEVM 如何将 ZKP 的扩展能力带到以太坊虚拟机的核心。
