01
Riproduci
Esegui il demo pubblico, conserva l’output e segnala qualsiasi differenza fra ARM64 e x86-64.
CONTRIBUIRE CON EVIDENZA
Aiuta a rendere la prova controllabile
ProofDama non cerca semplicemente più potenza di calcolo. Cerca risultati riproducibili, errori scoperti presto e verifiche indipendenti. La posizione iniziale 8×8×3 è ancora aperta.
Stato verificabile attuale
Il 4×4×1 e il 4×8×1 sono certificati come patte, il 4×6×1 come vittoria del Nero: 5.756.836 nodi complessivi rigiocati indipendentemente, con artefatti identici su M4 e Hetzner x86-64. Il 6×4×1 è ora la quarta campagna attiva sul builder parallelo deterministico; la sua patta storica non è ancora certificata. La posizione 8×8×3 resta aperta.
Quattro contributi utili adesso
02
Verifica
Rivedi regole, schema dei certificati e controlli avversariali. Una critica documentata vale più di una promessa.
03
Calcola
Offri CPU, RAM o storage soltanto attraverso campagne versionate, con checkpoint, manifest e log verificabili.
04
Documenta
Aiuta a rendere regole, risultati e limiti comprensibili in italiano e in inglese senza semplificazioni ingannevoli.
Contratto per contribuire hardware
Ogni worker riceve commit sorgente, benchmark, budget di nodi e thread, directory di checkpoint e formato dei log. Restituisce un artefatto identificato dal contenuto. Il progetto lo accetta soltanto dopo replay con il verificatore separato e, quando richiesto, riproduzione su una seconda architettura.
CONTATTO AUTORIZZATO
Partecipa alla campagna ProofDama
Scrivi qui per offrire hardware, revisione scientifica, documentazione o sostegno. Il messaggio viene inoltrato attraverso il modulo Formspree ufficiale del progetto.