NISTのポスト量子署名方式3つすべて――2つは確定した標準、1つはまだドラフト（FN-DSA）――がいまzkVMの内部で検証され、Kaspaのテストネット上でチェーン上にてそれぞれ改ざん検知（tamper control）付きでチェックされています。ペアリングはどこにもありません。
3方式すべて同じパイプライン：RISC Zero zkVMで署名を検証 → 簡潔なSTARK（FRI/Poseidon2）に圧縮 → KaspaノードがKIP-16のZKオペコード経由でSTARKをオンチェーン検証。Groth16は使いません。
• FIPS-204 - ML-DSA-44 / Dilithium（格子）。
b7add3df69d54ca96b171771d92cad300d231504ed80ea55a9873edb08094eca
• FIPS-205 - SLH-DSA / SPHINCS+（ハッシュベース）。
01f747bc0e559bb7080d3e77dae8a4c1902545da1d97b55a9b37be90870f2342
• FIPS-206（ドラフト）— FN-DSA / Falcon-512（格子/NTRU）、Porninの実装。
aec459a84600caa13f6ce2c13104285c1b55c8cb8a986340bf5c135b65f15bc3
署名検証に一歩進んで：PQで保護されたUTXO――つまり、その正確な支払い（spend）に対してML-DSAの有効な署名がある場合にのみ移動できるコインです。誓約（covenant）は、取引自体から署名済みメッセージを再構築（introspection）するため、資金を転用できず、証明は署名した特定の資金供与取引に結び付けられています。
e33a1332e72266f361b6276449c6b3273bbb03a6fe1caff4d7db71f56806ff90
同じロック上の2つ目のコインに対して、その証明をリプレイしました。ノードはそれを拒否し、2つ目のコインはロックにおいて未使用のままです。リプレイでは動かせなかった、オンチェーンの証明がそれです：
31366d00a6eee4f36e04d977e34812f07c5adc86f580e934ba35e3ef5b855920
zkVMのコストは概ね約15倍：Falconは約1.8分、ML-DSAは約8、SLH-DSAは約27（SLH-DSAはハッシュベース→数千回のSHA-256圧縮）。各方式には負のコントロール（改ざんされた、またはリプレイされた証明で、オンチェーンで拒否されるもの）があり、ノーオペ（何も起きない）ではありません。
要点をはっきり言うと、これは署名レイヤーであって、「Kaspaが量子対応」という話ではありません。量子マイニングやMuHashのUTXOコミットメントは別の、より難しい問題で、ここで扱っていません。
テストネット-10のPoC; 取引はまだsecp256k1です。
@Max143672のXMSSと相補的です――彼のはネイティブなルートです。
（インターンたちは忙しかったようです）
3方式すべて同じパイプライン：RISC Zero zkVMで署名を検証 → 簡潔なSTARK（FRI/Poseidon2）に圧縮 → KaspaノードがKIP-16のZKオペコード経由でSTARKをオンチェーン検証。Groth16は使いません。
• FIPS-204 - ML-DSA-44 / Dilithium（格子）。
b7add3df69d54ca96b171771d92cad300d231504ed80ea55a9873edb08094eca
• FIPS-205 - SLH-DSA / SPHINCS+（ハッシュベース）。
01f747bc0e559bb7080d3e77dae8a4c1902545da1d97b55a9b37be90870f2342
• FIPS-206（ドラフト）— FN-DSA / Falcon-512（格子/NTRU）、Porninの実装。
aec459a84600caa13f6ce2c13104285c1b55c8cb8a986340bf5c135b65f15bc3
署名検証に一歩進んで：PQで保護されたUTXO――つまり、その正確な支払い（spend）に対してML-DSAの有効な署名がある場合にのみ移動できるコインです。誓約（covenant）は、取引自体から署名済みメッセージを再構築（introspection）するため、資金を転用できず、証明は署名した特定の資金供与取引に結び付けられています。
e33a1332e72266f361b6276449c6b3273bbb03a6fe1caff4d7db71f56806ff90
同じロック上の2つ目のコインに対して、その証明をリプレイしました。ノードはそれを拒否し、2つ目のコインはロックにおいて未使用のままです。リプレイでは動かせなかった、オンチェーンの証明がそれです：
31366d00a6eee4f36e04d977e34812f07c5adc86f580e934ba35e3ef5b855920
zkVMのコストは概ね約15倍：Falconは約1.8分、ML-DSAは約8、SLH-DSAは約27（SLH-DSAはハッシュベース→数千回のSHA-256圧縮）。各方式には負のコントロール（改ざんされた、またはリプレイされた証明で、オンチェーンで拒否されるもの）があり、ノーオペ（何も起きない）ではありません。
要点をはっきり言うと、これは署名レイヤーであって、「Kaspaが量子対応」という話ではありません。量子マイニングやMuHashのUTXOコミットメントは別の、より難しい問題で、ここで扱っていません。
テストネット-10のPoC; 取引はまだsecp256k1です。
@Max143672のXMSSと相補的です――彼のはネイティブなルートです。
（インターンたちは忙しかったようです）
