Huidige gemeenschapsvoorspelling
Nee 75.8%
Voorspellers
11
Vraagtype
binary
Methodologie
Play-money forecasting platform
Brontype
Voorspelling
Marktdata
Bijgewerkt 2 uur geleden
Verouderd23 dec 25, 00:34 UTC31 dec 26, 23:59 UTC
Trends
Regels
The intent behind this market is to see a two-part program:
- Converter of a given Lean file into zero-knowledge proof, with public part being "what assumptions and what theorems are there", and the actual steps hidden.
- Verifier of such a ZK proof, showing what was actually demonstrated.
- Either ZK-SNARK or ZK-STARK are acceptable.
- Any way of verifying Lean goes, though I'd expect usage of zkWASM or something like that.
- Update 2026-01-03 (PST) (AI summary of creator comment): Standards for what counts as a valid ZK tool:
