Alle drei NIST-Post-Quantum-Signaturschemata – zwei finalisierte Standards und eines noch im Entwurf (FN-DSA) – werden jetzt in einem zkVM verifiziert und auf Kaspa-Testnet auf der Kette geprüft, jeweils mit einem Manipulations- bzw. Tamper-Kontrollfall. Keine Pairings überall.
Gleiche Pipeline für alle drei: Signatur in einem RISC Zero zkVM verifizieren → zu einem kompakten STARK komprimieren (FRI/Poseidon2) → ein Kaspa-Node verifiziert den STARK on-chain über den KIP-16 ZK-Opcode. Kein Groth16.
• FIPS-204 – ML-DSA-44 / Dilithium (Lattice).
b7add3df69d54ca96b171771d92cad300d231504ed80ea55a9873edb08094eca
• FIPS-205 – SLH-DSA / SPHINCS+ (hashbasiert).
01f747bc0e559bb7080d3e77dae8a4c1902545da1d97b55a9b37be90870f2342
• FIPS-206 (Entwurf) — FN-DSA / Falcon-512 (Lattice/NTRU), Pornins Implementierung.
aec459a84600caa13f6ce2c13104285c1b55c8cb8a986340bf5c135b65f15bc3
Und einen Schritt weiter als nur Signaturen zu verifizieren: ein PQ-gesichertes UTXO – eine Münze, die sich nur mit einer gültigen ML-DSA-Signatur über genau dieses Spend bewegen lässt. Die Covenant baut die signierte Nachricht aus der Transaktion selbst neu auf (Introspektion), sodass die Gelder nicht umgeleitet werden können, und der Beweis an die konkrete Funding-Transaktion gebunden ist, die signiert wurde.
e33a1332e72266f361b6276449c6b3273bbb03a6fe1caff4d7db71f56806ff90
Wir haben diesen Beweis gegen eine zweite Münze mit demselben Lock wiederabgespielt; der Node lehnte sie ab, und diese Münze liegt weiterhin unspent am Lock – der On-Chain-Beweis, den das Replay nicht verschieben konnte:
31366d00a6eee4f36e04d977e34812f07c5adc86f580e934ba35e3ef5b855920
Die zkVM-Kosten liegen bei ~15×: Falcon ~1,8 Min., ML-DSA ~8, SLH-DSA ~27 (SLH-DSA ist hashbasiert → tausende SHA-256-Kompressionen). Jedes Schema hat eine negative Kontrolle – ein manipuliertes oder wiederabgespieltes Proof, das on-chain abgelehnt wird – damit es kein No-op ist.
Kurz und klar: Das ist die Signaturschicht, nicht „Kaspa ist quantenbereit“ – Quanten-Mining und das MuHash-UTXO-Commitment sind separate, schwierigere Probleme, die hiervon nicht berührt werden.
Testnet-10 PoC; Transaktionen sind weiterhin secp256k1.
Ergänzend zu @Max143672s XMSS – seines ist der native Weg.
(Unsere Praktikanten hatten viel zu tun)
Gleiche Pipeline für alle drei: Signatur in einem RISC Zero zkVM verifizieren → zu einem kompakten STARK komprimieren (FRI/Poseidon2) → ein Kaspa-Node verifiziert den STARK on-chain über den KIP-16 ZK-Opcode. Kein Groth16.
• FIPS-204 – ML-DSA-44 / Dilithium (Lattice).
b7add3df69d54ca96b171771d92cad300d231504ed80ea55a9873edb08094eca
• FIPS-205 – SLH-DSA / SPHINCS+ (hashbasiert).
01f747bc0e559bb7080d3e77dae8a4c1902545da1d97b55a9b37be90870f2342
• FIPS-206 (Entwurf) — FN-DSA / Falcon-512 (Lattice/NTRU), Pornins Implementierung.
aec459a84600caa13f6ce2c13104285c1b55c8cb8a986340bf5c135b65f15bc3
Und einen Schritt weiter als nur Signaturen zu verifizieren: ein PQ-gesichertes UTXO – eine Münze, die sich nur mit einer gültigen ML-DSA-Signatur über genau dieses Spend bewegen lässt. Die Covenant baut die signierte Nachricht aus der Transaktion selbst neu auf (Introspektion), sodass die Gelder nicht umgeleitet werden können, und der Beweis an die konkrete Funding-Transaktion gebunden ist, die signiert wurde.
e33a1332e72266f361b6276449c6b3273bbb03a6fe1caff4d7db71f56806ff90
Wir haben diesen Beweis gegen eine zweite Münze mit demselben Lock wiederabgespielt; der Node lehnte sie ab, und diese Münze liegt weiterhin unspent am Lock – der On-Chain-Beweis, den das Replay nicht verschieben konnte:
31366d00a6eee4f36e04d977e34812f07c5adc86f580e934ba35e3ef5b855920
Die zkVM-Kosten liegen bei ~15×: Falcon ~1,8 Min., ML-DSA ~8, SLH-DSA ~27 (SLH-DSA ist hashbasiert → tausende SHA-256-Kompressionen). Jedes Schema hat eine negative Kontrolle – ein manipuliertes oder wiederabgespieltes Proof, das on-chain abgelehnt wird – damit es kein No-op ist.
Kurz und klar: Das ist die Signaturschicht, nicht „Kaspa ist quantenbereit“ – Quanten-Mining und das MuHash-UTXO-Commitment sind separate, schwierigere Probleme, die hiervon nicht berührt werden.
Testnet-10 PoC; Transaktionen sind weiterhin secp256k1.
Ergänzend zu @Max143672s XMSS – seines ist der native Weg.
(Unsere Praktikanten hatten viel zu tun)
