The =nil; Foundation develops Ethereum type-1 zkEVM compiler that prioritizes the security of zero-knowledge proofs.