Resolves YES if a project that research/implements/promotes the use of zero knowledge or succinct cryptographic proof systems for machine learning algorithms receives this amount of funding between now and the close date.