ZkProofs og @fermah_xyz forklart
923