ZK 证明

零知识证明验证和 SP1 架构。