這些是實現細節。據我理解，OP的擔憂在於，要探究被證明語句的真實協議，可以說是困難的/不切實際的。 在像 Circom 這樣的語言中，輸出的程序包含一個見證生成器和一個約束。