libsnark 是實現了 zkSNARK 模式的 C++ 庫。zkSNARK 是一個證明/驗證計算完整性的加密方法。