Will GitHub Continuous Integration accept SNARKs by 2028?
➕
Plus
41
Ṁ2232
2028
10%
chance

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.

Get
Ṁ1,000
and
S3.00
Sort by:

Does it have to be specifically zk-SNARK or any zero-knowledge proof or any cryptographic proof?

@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.

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules