← 回到 DEVCON 8

局部混合結合線路遮罩與電路改寫,探索程式混淆新方法

An update on Local Mixing (iO)

場次摘要

Janmajaya Mall 介紹局部混合如何探索程式混淆,希望在保留程式功能的同時,隱藏內部資訊。這項方法處理可逆電路,也就是能從輸出反推輸入的電路。團隊最初透過擴張電路與替換局部片段改變結構,但發現功能仍集中在局部,沒有如預期分散,因此轉向結合線路遮罩與結構改寫。 新流程先以輔助線路遮罩原有運算,再透過局部替換、調整邏輯閘順序及重新合成電路,嘗試抹除原有結構與處理痕跡。Mall 表示已有實作,測試尚未找到破解,但尚未做形式驗證,也不主張優於其他混淆路線。他提出隱藏金鑰或狀態的加密智慧合約作為潛在應用;運算成本仍是限制,從布林電路轉成可逆電路也會造成大幅膨脹。

值得記下的 5 件事

  1. [9:00]
    改變電路外觀,不代表功能已充分分散 團隊最初以較大的等效子電路替換原片段,再反覆替換同大小片段,希望打散原有結構

    Mall 表示,結果雖然明顯改變結構,功能卻仍集中在局部;增加混合輪數是否足夠,團隊也沒有定論。

  2. [12:40]
    線路遮罩不能單獨提供混淆保護 新設計加入攜帶輸入相關數值的輔助線路,遮罩原有運算線路,再補上邏輯閘以維持原功能

    Mall 強調,只看被遮罩的線路不足以辨識原有運算;但公開整個電路時,輔助線路也會曝光,因此這一步本身不足以隱藏資訊。

  3. [15:40]
    新流程嘗試突破局部替換的限制 除了遮罩與利用預先建立的資料庫替換子電路,團隊也調整原本不能直接交換順序的邏輯閘,再加入額外邏輯閘以維持功能

    最後以多項式表示各線路的運算,捨棄原電路並重新合成,目的是抹除處理歷史。

  4. [22:40]
    尚未找到破解,不等於安全性已獲驗證 Mall 表示,團隊結合人工分析與軟體工具測試,目前未找到破解,並計畫在文件中提供挑戰

    他也明確說明,實作尚未做形式驗證,也就是尚未以嚴格方法驗證其正確性與安全性,且不主張這條路線優於其他混淆方法。

  5. [23:00]
    加密智慧合約是應用構想,電路膨脹仍待處理 Mall 設想在智慧合約內隱藏金鑰,依條件代為簽章,或隱藏合約狀態,並未將其描述為已完成的產品

    他指出,額外成本來自布林電路轉換與混淆程序,並建議直接設計可逆電路,而非先設計布林電路再轉換。

下載摘要 下載 Word 摘要(.docx)

更多來自 DEVCON 8

訂閱