Introducing the ZK Catalog, a place to aggregate information about source code verification of onchain ZK…