📄️ zk-SNARKWhat are zk-SNARKs📄️ Circuits and constraint systemsWhat are circuits📄️ Proving schemes and curvesProving schemes and curves