According to a blog post by Ethereum Foundation team lead Christian Reitwiessner and Zcash Company engineer Ariel Gabizon, new code has been tested as part of effort to create a means to verify zk-SNARK proofs written in Solidity, ethereum’s smart contract language.