固体中的zkSTARK验证器

Question

存在着zkSNARK验证器，如这和这。zkSTARK有这样可靠的验证器吗？

Answer 1

没有什么完全相同的，zkSnark是由伊甸园的人们用他们的snarkjs库：https://github.com/iden3/snarkjs制作的。

我只知道这件事：https://github.com/starkware-libs/starkex-contracts/blob/master/evm-verifier/solidity/contracts/StarkVerifier.sol。被那些暴徒们。这是一个可靠的文件，但是验证了Cairo程序，所以可能很有用。