LyndHub
Jadwal Sholat

Memuat jadwal sholat…

← Semua jurnalIndeks pencarian

Editorial Ilmu Komputer & AI

Open AccessOA2026

NovaFabric: Bukti yang Anti-Rusak dan Dapat Diputar Ulang untuk Proses Agen AI Otonom

Run Capsule kelas audit yang mengintegrasikan OpenTelemetry, DSSE/in-toto, dan W3C PROV untuk eksekusi agen yang dapat diverifikasi
Mohsen Seyedkazemi Ardebili· 2026· DOI 10.48550/arXiv.2609.12582

Masalah inti

Agen AI otonom semakin sering melakukan tindakan yang berdampak, namun membuktikan apa yang sebenarnya dilakukan agen masih menjadi masalah terbuka. Platform observabilitas agen yang ada menangkap trace, tetapi trace bersifat mutable: dapat diubah tanpa terdeteksi, tidak menawarkan resep untuk eksekusi ulang, dan tidak menjelaskan apakah rahasia yang tertangkap sudah dihapus dengan benar. Kerangka regulasi—termasuk EU AI Act, ISO 42001, dan NIST AI RMF—mengandaikan catatan yang dapat diperiksa pihak independen. NovaFabric menjawab celah ini dengan menghasilkan bukti eksekusi kelas audit yang netral penyedia, anti-rusak, dapat diputar ulang, dan dapat dibagikan. Sistem merekam proses agen tanpa mengubah logika agen ke dalam Run Capsule portabel, sebuah skema lima belas entitas yang disegel dengan tanda tangan DSSE holistik, timestamp RFC 3161, log Merkle, dan atestasi redaksi. Proses yang tersegel dapat dieksekusi ulang di bawah protokol replay empat mode dan dapat diekspor sebagai Evidence Bundle untuk verifikasi pihak ketiga dengan perkakas standar. Kontribusinya secara eksplisit adalah integrasi, bukan kriptografi baru, yang menggabungkan OpenTelemetry, DSSE/in-toto, dan W3C PROV

Inovasi

Evaluasi NovaFabric pada delapan pertanyaan penelitian menghasilkan hasil yang beragam. Replay tiruan berhasil melayani setiap respons model dari kapsul tanpa panggilan model langsung, mencapai 10/10 pada substitusi respons model. Namun, replay tiruan bersifat offline terhadap model, bukan jaringan, dan hanya 2/10 beban kerja yang menggunakan alat yang selesai; celah ini diatribusikan pada tidak adanya substitusi respons alat. Pemalsuan ditolak pada ketiga kelas yang diuji, menunjukkan integritas mekanisme penyegelan. Kelengkapan aliran yang dideklarasikan adalah 0,652 dengan interval kepercayaan 95% ±0,064 pada sepuluh skenario, menunjukkan bahwa sebagian besar aliran yang dideklarasikan tidak tertangkap. Rule pack yang diperbaiki meredaksi 14/14 jenis kredensial sambil mempertahankan 9/9 umpan, dan lokalisasi diff mengidentifikasi 140/140 mutasi. Kueri blast-radius mencapai 45,5 ms p99 pada 10 juta edge, 3,3× lebih cepat dari baseline kolumnar, dan 167,9 ms pada 100 juta edge dengan satu klien dan n=30. Proses pada 314 mesin di sepuluh region menemukan ingest REST kapsul tanpa kehilangan tetapi terbatas pada 61,6 req/s dengan latensi p99 26,8 s akibat serialisasi per-worker. Enam
Agen AI otonom semakin sering melakukan tindakan yang berdampak, namun membuktikan apa yang sebenarnya dilakukan agen masih menjadi masalah terbuka. Platform observabilitas agen yang ada menangkap trace, tetapi trace bersifat mutable: dapat diubah tanpa terdeteksi, tidak menawarkan resep untuk eksekusi ulang, dan tidak menjelaskan apakah rahasia yang tertangkap sudah dihapus dengan benar. Kerangka regulasi—termasuk EU AI Act, ISO 42001, dan NIST AI RMF—mengandaikan catatan yang dapat diperiksa pihak independen. NovaFabric menjawab celah ini dengan menghasilkan bukti eksekusi kelas audit yang netral penyedia, anti-rusak, dapat diputar ulang, dan dapat dibagikan. Sistem merekam proses agen tanpa mengubah logika agen ke dalam Run Capsule portabel, sebuah skema lima belas entitas yang disegel dengan tanda tangan DSSE holistik, timestamp RFC 3161, log Merkle, dan atestasi redaksi. Proses yang tersegel dapat dieksekusi ulang di bawah protokol replay empat mode dan dapat diekspor sebagai Evidence Bundle untuk verifikasi pihak ketiga dengan perkakas standar. Kontribusinya secara eksplisit adalah integrasi, bukan kriptografi baru, yang menggabungkan OpenTelemetry, DSSE/in-toto, dan W3C PROV. Karya ini mengevaluasi delapan pertanyaan penelitian pada cakupan terukur, dan menemukan bahwa replay tiruan melayani setiap respons model dari kapsul (10/10) tetapi bersifat offline terhadap model, bukan jaringan; hanya 2/10 beban kerja yang menggunakan alat yang selesai karena tidak adanya substitusi respons alat. Pemalsuan ditolak pada tiga kelas yang diuji, kelengkapan aliran yang dideklarasikan adalah 0,652 (95% CI ±0,064, sepuluh skenario), dan rule pack yang diperbaiki meredaksi 14/14 jenis kredensial sambil mempertahankan 9/9 umpan. Kueri blast-radius mencapai 45,5 ms p99 pada 10 juta edge (3,3× lebih cepat dari baseline kolumnar) dan 167,9 ms pada 100 juta (1 klien, n=30). Proses pada 314 mesin di sepuluh region menemukan ingest REST kapsul tanpa kehilangan tetapi terbatas pada 61,6 req/s (p99 26,8 s) akibat serialisasi per-worker. Enam cacat ditemukan pada NovaFabric dan korpus evaluasinya: empat diperbaiki, satu ditarik, satu terbuka. Verifikasi tetap bersyarat pada trusted computing base yang dinyatakan.
NovaFabric membangun Run Capsule dengan menginstrumentasi proses agen melalui OpenTelemetry, menangkap span dan event tanpa mengubah logika agen. Skema kapsul terdiri dari lima belas entitas yang mengodekan graf eksekusi, interaksi model, panggilan alat, dan metadata. Penyegelan menerapkan tanda tangan DSSE holistik atas kapsul, timestamp RFC 3161 dari otoritas tepercaya, log Merkle untuk integritas append-only, dan atestasi redaksi yang mencatat rahasia mana yang dihapus. Protokol replay mendefinisikan empat mode: replay tiruan, yang melayani setiap respons model dari kapsul tanpa panggilan model langsung; dan tiga mode tambahan yang secara progresif memasukkan kembali komponen langsung. Evidence Bundle adalah ekspor portabel yang berisi kapsul tersegel dan metadata verifikasi, dirancang untuk pemeriksaan pihak ketiga dengan perkakas standar. Evaluasi menjawab delapan pertanyaan penelitian pada ketahanan pemalsuan, kesetiaan replay, kelengkapan redaksi, kinerja kueri, dan ingest terdistribusi. Uji pemalsuan mencakup tiga kelas modifikasi. Redaksi dievaluasi dengan rule pack yang diuji terhadap 14 jenis kredensial dan 9 umpan. Kueri blast-radius diuji pada graf 10 juta dan 100 juta edge. Proses terdistribusi mencakup 314 mesin di sepuluh region untuk mengukur throughput dan kehilangan ingest REST. Trusted computing base dinyatakan secara eksplisit sebagai syarat verifikasi. Secara formal, operasi penyegelan dapat direpresentasikan sebagai:

Mengapa penting

Hasil ini memosisikan NovaFabric sebagai solusi yang menjanjikan tetapi belum lengkap untuk bukti agen kelas audit. Penolakan pemalsuan yang kuat dan redaksi sempurna atas jenis kredensial dengan umpan yang dipertahankan menunjukkan bahwa mekanisme penyegelan dan redaksi bekerja sesuai rencana. Lokalisasi diff atas seluruh 140 mutasi semakin mendukung jaminan integritas. Namun, kelengkapan aliran yang dideklarasikan yang rendah, 0,652, mengungkap bahwa sebagian signifikan event yang dideklarasikan tidak tertangkap, yang melemahkan nilai pembuktian kapsul. Celah beban kerja yang menggunakan alat—hanya 2/10 yang selesai—bersifat kritis karena banyak tindakan agen yang berdampak melibatkan alat. Tidak adanya substitusi respons alat berarti replay tiruan tidak dapat sepenuhnya mengeksekusi ulang proses yang menggunakan alat, sehingga membatasi replayability. Batas ingest terdistribusi 61,6 req/s akibat serialisasi per-worker menunjukkan bahwa penskalaan ke armada agen berthroughput tinggi akan memerlukan perubahan arsitektur, seperti paralelisasi serialisasi atau sharding. Kinerja kueri blast-radius kuat, dengan percepatan 3,3× dibanding baseline kolumnar pada 10 juta edge, tetapi latensi 167,9 ms pada 100 juta edge mungkin dapat diterima untuk kueri interaktif. Enam cacat yang ditemukan, dengan empat diperbaiki, satu ditarik, dan satu terbuka, menunjukkan pemeliharaan aktif tetapi juga bahwa korpus evaluasi itu sendiri memiliki masalah. Verifikasi bersyarat pada trusted computing base berarti jaminan keamanan hanya sekuat TCB. Kontribusinya adalah integrasi, bukan kriptografi baru, sehingga kebaruan terletak pada penggabungan standar yang ada menjadi pipeline bukti yang koheren. Pekerjaan selanjutnya harus menangani substitusi respons alat, meningkatkan kelengkapan aliran yang dideklarasikan, dan menskalakan ingest. Implikasi keseluruhannya adalah bahwa bukti yang anti-rusak dan dapat diputar ulang untuk agen otonom memang layak, tetapi memerlukan perhatian cermat pada interaksi alat dan kinerja terdistribusi. Empat mode protokol replay dapat direpresentasikan sebagai:

Diagram status ini menggambarkan perkembangan dari replay yang sepenuhnya tiruan ke sepenuhnya langsung, dengan setiap mode menambahkan komponen langsung sambil mempertahankan kapsul sebagai sumber kebenaran untuk komponen yang tersegel.

Siapa yang sebaiknya membaca

Praktisi dan peneliti ilmu komputer

Membuka konten member…