Simulasinya dikompilasi ke WebAssembly dan dimasukkan ke dalam image sandbox. Pemanggil hanya mengirimkan berkas pengendali melalui API proyek biasa; contoh tersebut berjalan pada tingkat container.
Runner merekam lintasan, termasuk keadaan sistem pada setiap langkah, lalu membuat sidik jari SHA-256. Dua eksekusi pengendali yang diterima menghasilkan sidik jari sama. Draf pertama agen memiliki dua pengali dengan tanda yang keliru, membuat tiang jatuh pada detik ke-5,96 dan menghasilkan sidik jari berbeda.
Perbedaannya terlihat.
Setiap eksekusi juga menghasilkan hash SHA-256 atas permintaan yang dikirim dan hasil yang diterima. Klien resmi menghitung ulang hash tersebut. Program terpisah bernama plimsoll-attest dapat menandatangani hasil yang sudah diperiksa, menolak rangkaian panggilan yang kehilangan satu bagian, serta memutar ulang sebuah eksekusi.
Bukti eksekusi punya batas yang perlu dipahami
Plimsoll menyebut tingkat isolasi sebagai bukti yang dikumpulkan daemon dari konfigurasi dan pemeriksaan saat mulai bekerja. Namun, proyek ini tidak mengklaim bahwa bukti itu merupakan pengesahan kriptografis dari perangkat keras mengenai perangkat lunak yang sedang berjalan.
Batas klaim ini relevan bagi tim yang ingin memakai hasil eksekusi sebagai jejak audit. Hash dan rekaman membantu memeriksa apakah permintaan serta hasil berubah, sementara tingkat isolasi memberi informasi tentang perlindungan yang dilaporkan daemon. Keduanya tidak membuktikan secara independen bahwa lingkungan eksekusi benar-benar sesuai dengan klaim perangkat keras.
Dalam contoh yang disediakan, satu eksekusi menjalankan sandbox tiga kali: pengendali yang diterima sebanyak dua kali dan draf yang gagal sekali. Pengguna dapat mengulang contoh melalui perintah make docker-images && go run ./examples/oracle. Laporan langsungnya juga dapat digunakan untuk memutar ulang dua eksekusi di peramban.
Akses API tanpa menyerahkan kredensial ke kode
Plimsoll juga menyediakan mekanisme agar kode buatan agen dapat memanggil API tanpa menerima kredensial, alamat API, atau akses jaringan terbuka. Pemilik sistem memberi izin untuk rute tertentu pada satu API, lalu kode memanggil layanan melalui klien kecil yang tersedia di sandbox.
Broker Plimsoll, komponen di luar sandbox yang membuat panggilan sebenarnya, memeriksa pemanggil dan rute yang diminta sebelum menambahkan kredensial. Kredensial dibuat untuk setiap eksekusi dan tidak masuk ke sandbox. Karena broker yang menegakkan aturan, kode tidak dapat melewati pembatasan hanya dengan membuat panggilan jaringan sendiri.
📝 Tinggalkan Komentar
Komentar sebagai . Ditinjau admin sebelum tampil.