![](/_next/image?url=https%3A%2F%2Ffirebasestorage.googleapis.com%2Fv0%2Fb%2Fmantic-markets.appspot.com%2Fo%2Fdream%252FqOWKhm5iFq.png%3Falt%3Dmedia%26token%3Df38a50f4-e6bf-44a1-911d-09df33791fd8&w=3840&q=75)
Resolves YES if, on or before the close date, GitHub ever provides to option of bypassing a Continuous Integration check by providing a succinct cryptographic proof that the check would pass if run. This option doesn't have to be available for all platforms on which the tests might be run (for example it might only be availalbe for Nix builds, say) but for one of the build systems it does support, it has to be generally available for any repository using that system.
@RemiRampin Has to be a succinct noninteractive cryptographic proof. Succinct meaning that it's a proof system which allows you to create a proof asymptotically shorter than the execution trace.
@BoltonBailey The title sort of falls prey to the "what does zk mean" problem, I'll just remove that.