github
website
Learn more
A modern ZKP language and compiler for plonkish and AIR arithmetizations
A zero-knowledge proof mechanism for Ethereum block verification.