Ethereum Research
Noname: a new language to deploy zk proofs on Ethereum
zk-s[nt]arks