Temu duga pengekodan: Bolehkah runtime/secret Go 1.26 menjamin bahawa kunci keluar daripada memori?

Prom dan konteks

Sebuah perkhidmatan mengendalikan kunci jangka pendek pada Linux amd64 dan arm64. Pasukan mahu runtime/secret eksperimental Go 1.26 memadam daftar (registers), storan tindanan (stack), dan peruntukan timbunan (heap) sementara, sekali gus mengurangkan risiko kunci sisa. Reka bentuk kriteria penggunaan, sempadan secret.Do, dasar binaan dan sandaran (fallback), serta jelaskan mengapa ia tidak menggantikan KMS, kebenaran, putaran, pengasingan proses, atau kawalan forensik memori. Kemahiran teras ialah menaakul tentang sempadan kod kriptografi, jadi ini adalah soalan coding.

Perkara yang dinilai oleh penemu duga

Pertama, sama ada anda menyatakan dengan tepat bahawa pakej eksperimen ini hanya wujud dengan GOEXPERIMENT=runtimesecret dan berada di luar janji keserasian Go.

Kedua, sama ada anda memahami bahawa secret.Do mengawal pemasaan pembersihan bagi storan sementara dalam pepohon panggilannya, bukan setiap rujukan luaran atau salinan kekal.

Ketiga, sama ada anda meletakkan sempadan di sekitar operasi kriptografi kecil dan bukannya rangkaian, pengelogan, atau cache jangka panjang.

Keempat, sama ada seni bina, binaan, prestasi, dan tingkah laku sandaran dinyatakan secara eksplisit dan bukannya menganggap platform yang tidak disokong disokong secara senyap.

Kelima, sama ada KMS/HSM, putaran, keistimewaan paling sedikit (least privilege), kawalan pembuangan teras (core-dump), dan ujian membentuk pertahanan mendalam (defense in depth).

Soalan untuk dijelaskan terlebih dahulu

• Adakah versi Go, platform, dan bendera binaan dipinkan?
• Adakah kunci datang daripada KMS/HSM, persekitaran proses, fail, atau pangkalan data?
• Adakah anda melindungi perantara jangka pendek atau kunci peribadi yang kekal lama?
• Adakah pembuangan teras (core dumps), penyahpepijat, atau alat analisis memori didayakan?
• Bolehkah pustaka kripto menyalin rahsia ke goroutine lain, penimbal, atau log?
• Bolehkah perkhidmatan melumpuhkan eksperimen dan menggunakan pelaksanaan keserasian?

Jawapan 30 saat

“runtime/secret ialah pakej eksperimen Go 1.26 yang tersedia hanya dengan GOEXPERIMENT=runtimesecret pada platform yang disokong; ia bukan API yang stabil. secret.Do boleh membalut kerja terbitan kunci pendek atau penyahsulitan kapsul (decapsulation) dan membantu memadam daftar, storan tindanan, dan peruntukan sementara timbunan baharu dalam pepohon panggilannya, tetapi ia tidak memadamkan salinan dalam penimbal luaran, log, cache, atau swap. Pengeluaran masih memerlukan KMS/HSM, putaran, keistimewaan paling sedikit, kawalan pembuangan teras, dan pengasingan proses. Saya mengesahkan binaan yang didayakan dan dilumpuhkan, sempadan kebocoran, prestasi, serta tindak balas sandaran atau putaran kunci yang pantas.”

Penyelesaian terperinci

Langkah 1: Pinkan API dan eksperimen

Go 1.26 runtime/secret mendedahkan Do(func()) dan Enabled(), tetapi hanya apabila GOEXPERIMENT=runtimesecret ditetapkan. Ia kini menyasarkan Linux amd64 dan arm64, dan pakej eksperimen ini berada di luar janji keserasian Go 1. Skrip binaan mesti merekodkan toolchain, platform, dan bendera.

Langkah 2: Pilih sempadan pemadaman yang sempit

Letakkan kawasan sementara kriptografi terkecil dalam secret.Do, seperti penyahsulitan kapsul, terbitan, atau pengiraan MAC sekali guna. Jangan balut HTTP, panggilan pangkalan data, atau kebergantungan yang tidak terkawal: pepohon panggilan yang lebih besar meningkatkan kos pembersihan, masa penyekatan, dan kerumitan audit.

func deriveKey(input []byte) ([]byte, error) {
  var out []byte
  secret.Do(func() {
    out = deriveTemporaryKey(input)
  })
  return out, nil // out still needs explicit ownership and erasure rules
}

Contoh ini menyatakan sempadan; ini tidak bermakna out disifarkan secara automatik. Pemanggil masih memiliki jangka hayat, penyalinan, dan keputusan pemadaman.

Langkah 3: Cari salinan yang tidak automatik

Hirisan input (input slice) mungkin disalin, nilai pulangan meninggalkan Do, pengelogan dan pensirilan memperuntukkan penimbal baharu, dan pemungut sampah (garbage collector) tidak memberikan masa pemadaman yang tepat kepada kod pengguna. Kurangkan salinan, jangan sekali-kali menukar rahsia kepada rentetan (string), dan kosongkan penimbal yang masih dimiliki oleh aplikasi pada sempadan kritikal secara eksplisit.

Langkah 4: Hubungkan kerahsiaan ke hadapan (forward secrecy) dengan pengurusan kunci

Memadam memori sementara mengecilkan tetingkap sisa, tetapi kerahsiaan ke hadapan juga memerlukan kunci sesi jangka pendek, putaran, pemusnahan kunci lama, dan pemulihan terkawal. Kunci punca (root keys) sepatutnya berada dalam KMS/HSM; proses hanya menerima bahan terbitan minimum. runtime/secret tidak membekalkan kawalan akses, pembatalan, atau jejak audit.

Langkah 5: Kendalikan binaan dan sandaran

Kompil dengan dan tanpa eksperimen. Enabled() boleh memaklumkan diagnostik atau pilihan pelaksanaan, tetapi laluan yang dilumpuhkan tidak boleh dilabelkan sebagai dilindungi secara sama rata. Pada platform yang tidak disokong, gunakan fungsi keserasian, get naik taraf, atau enggan memulakan perkhidmatan; jadikan pilihan itu eksplisit dalam model ancaman dan pelan ketersediaan.

Langkah 6: Ukur prestasi dan kebolehcerapan

Membersihkan pepohon panggilan boleh menjejaskan kependaman, terutamanya dengan peruntukan sementara yang besar. Bandingkan kependaman p50/p95, peruntukan, dan daya pemprosesan (throughput) dengan input yang serupa. Log hanya laluan ciri dan keadaan bendera, jangan sekali-kali rahsia. “Pensifaran berjaya” bukan metrik perniagaan langsung.

Langkah 7: Bina ujian dan tindak balas insiden

Uji matriks binaan, tingkah laku Enabled(), output kripto, ralat, sempadan salinan, dan panggilan serentak. Gabungkan pembuangan teras yang dilumpuhkan, alat analisis memori, dan latihan simulasi kerosakan terkawal untuk pertahanan mendalam. Jika eksperimen gagal, sediakan laluan untuk melumpuhkannya, memutarkan kunci yang terjejas, dan memendekkan TTL sesi.

Contoh jawapan berkualiti tinggi

“Saya menganggap runtime/secret sebagai mitigasi tetingkap sisa eksperimen, bukan pengurusan kunci. Saya meminkan Go 1.26, Linux amd64/arm64, dan bendera binaan, kemudian meletakkan hanya terbitan kunci atau penyahsulitan kapsul di dalam secret.Do. Saya mengaudit input, nilai pulangan, log, cache, dan salinan goroutine di luar pepohon panggilan kerana ia tidak hilang secara automatik. Kunci pengeluaran masih datang daripada KMS/HSM dengan putaran, pembatalan, keistimewaan paling sedikit, kawalan pembuangan teras, dan pengasingan proses. Saya menguji binaan yang didayakan dan dilumpuhkan, prestasi, dan sempadan kebocoran; jika eksperimen gagal, saya boleh melumpuhkannya, memutarkan kunci, dan memendekkan jangka hayat sesi.”

Kesilapan biasa

• Menganggap eksperimen sebagai API yang stabil → peningkatan versi atau binaan platform gagal → pinkan versi, bendera, dan matriks sokongan.
• Menganggap Do memadamkan setiap rahsia → penimbal luaran, log, dan nilai pulangan boleh kekal → audit salinan dan pemilikan.
• Membalut keseluruhan permintaan → sempadan terlalu besar dan kependaman tidak dapat diramalkan → balut kawasan kriptografi kecil sahaja.
• Menggunakan Enabled sebagai jaminan keselamatan → bendera bukan pertahanan ancaman → dokumentasikan eksperimen dan pertahanan mendalam.
• Mengabaikan KMS/HSM → proses mengekalkan kunci punca terlalu lama → asingkan kunci punca daripada terbitan jangka pendek.
• Menguji kefungsian sahaja → perbezaan sisa, prestasi, dan binaan kekal → tambah ujian matriks, kebocoran, dan tanda aras (benchmark).
• Menukar rahsia kepada rentetan untuk log → lebih banyak salinan tidak terkawal muncul → elakkan rentetan dan lakukan redaksi.
• Tiada suis henti kecemasan → kegagalan hanya meninggalkan gangguan perkhidmatan atau risiko → pratakrifkan tindakan bendera, putaran, dan pemendekan sesi.

Soalan susulan

Susulan 1: Adakah secret.Do menjamin tindanan disifarkan semasa pulangan?

Dokumentasi menerangkan pembersihan daftar dan pembolehubah sementara tindanan yang digunakan oleh panggilan sebelum pulangan, tetapi itu bukan setiap salinan yang dipegang oleh kod pengguna. Hirisan, nilai pulangan, log, dan cache di luar sempadan kekal menjadi tanggungjawab aplikasi.

Susulan 2: Mengapakah platform yang disokong penting?

Daftar, tindanan, dan pelaksanaan masa jalan (runtime) berbeza mengikut seni bina. Binaan pengeluaran mesti mengesahkan matriks platform dan bukannya menganggap semantik pembersihan adalah sama.

Susulan 3: Bolehkah permintaan rangkaian dijalankan di dalam Do?

Ia tidak digalakkan. I/O rangkaian membesarkan pepohon panggilan dan tetingkap penyekatan, dan pustaka hiliran mungkin menyalin rahsia. Selesaikan operasi kriptografi kecil terlebih dahulu, kemudian lakukan kerja rangkaian di luar.

Susulan 4: Bagaimanakah anda mengendalikan rahsia yang dipulangkan?

Tentukan pemilikan, tempoh penggunaan, dan tanggungjawab pemadaman; kurangkan salinan, kosongkan penimbal yang memegang data apabila selesai, dan jangan sekali-kali menukar nilai kepada rentetan atau entri cache jangka panjang.

Susulan 5: Adakah ia menggantikan protokol forward-secret?

Tidak. Ia mengurangkan pendedahan memori sisa. Kerahsiaan ke hadapan bergantung pada kunci sesi fana (ephemeral), putaran, pemusnahan, dan reka bentuk protokol, ditambah dengan KMS/HSM dan kawalan akses.

Susulan 6: Bagaimana jika eksperimen ranap dalam pengeluaran?

Lumpuhkan laluan eksperimen atau kembali semula kepada pelaksanaan keserasian, putarkan kunci yang berpotensi terdedah, pendekkan TTL sesi yang terjejas, dan simpan bukti binaan, prestasi, serta ralat untuk diagnosis.