互動實驗

DFA、SIFA 與觀測通道

選擇合成樣本集與觀測通道。此控制項是常數類別比較：每一類只重複同一個常數值，再比較兩個常數。阻擋錯誤控制流與資訊洩漏是兩個不同問題。在此 fixture 中，「結果通過」表示故障沒有改變計算、通過了偵測器；「結果遭拒」表示計算受到影響、被偵測器拒絕。這只是結果代碼的標籤，不是 DUT 的 output-valid 腳位。下方的 A/B 比較只是通用的教學樣本標籤比較，不是 SIFA 攻擊，也不是金鑰復原模型。實際的 SIFA 只保留故障無效（ineffective，輸出仍正確）的計算（故障已注入，但輸出仍然正確），再檢查這個子集中某個中間值的條件分布或偏差；它不是比較有效與無效兩組來復原金鑰。有效或無效描述的是在所述 oracle 下計算或輸出是否改變，不是 DUT 的 out_valid 腳位。第二部分是含雜訊的樣本練習：使用固定 seed 與留出測試切分，呈現樣本數與雜訊如何改變類別比較。

控制項

樣本集觀測通道抑制 faulty ciphertext每類樣本數（合成練習）雜訊幅度（± 單位）每類留出測試的比例

小型合成樣本只供推理；不是攻擊結果、實測洩漏或安全機率。樣本練習是確定性的教學模型（固定 seed 13），不是實測洩漏或攻擊結果。

靜態對照無 JavaScript 對照（常數類別比較）：分離樣本集讓兩類使用不同的常數代碼，這組樣本可區分；重疊樣本集讓兩類使用相同的常數代碼，這組樣本無法區分。DFA 視角的代碼代表正確與錯誤 ciphertext；結果標籤視角的代碼代表結果通過與結果遭拒（通用標籤比較，不是 SIFA）。在此 fixture 中，「結果通過」表示故障沒有改變計算並通過偵測器，「結果遭拒」表示計算受到影響、被偵測器拒絕；兩者都不是 DUT 的 output-valid 腳位。這組樣本出現分離，不是攻擊結果。這個 A/B 比較只是通用的教學樣本標籤比較，不是 SIFA 攻擊或金鑰復原模型：SIFA 以故障無效（ineffective）的計算（故障已注入，輸出仍然正確）為條件，檢查該子集中某個中間值的偏差；故障有效（effective）／故障無效（ineffective）描述的是在所述 oracle 下計算或輸出是否改變，不是 DUT 的 out_valid。樣本練習（每類樣本數、雜訊、留出比例）需要 JavaScript：它以固定 seed 產生含雜訊的樣本，用前段樣本訓練，再對留出的樣本評分。雜訊為零時，分離樣本集可正確分類所有留出樣本，重疊樣本集只停在隨機水準；雜訊越大或樣本越少，留出分數越不穩定。這是教學模型，不是實測洩漏或攻擊結果。抑制錯誤資料只遮蔽 ciphertext 通道；validity 與 timing 仍是另外的觀測。