Succinct 是一个专注于可验证计算的协议，利用其通用型 zkVM（零知识虚拟机），使开发者能够在各种场景下轻松生成和验证零知识（ZK）证明。