halo2_proofs (cargo): Fast PLONK-based zero-knowledge proving system with no trusted setup 
Keywords: zkp|zksnarks|proofs|halo