DeFi Noir: New Zero-Knowledge Proof Language by Aztec Network , and Alex Harutunian November 10, 2022