来自 “零知识和 SNARKS 高级入门”。