Langkah apa saja dalam tindakan on-chain?

Baca keadaan, bentuk intent, bangun calldata, simulasi, policy, tanda tangan, broadcast, dan konfirmasi.

Setiap tahap dapat dilakukan layanan atau orang berbeda. Pemisahan ini menjelaskan apakah model hanya mengusulkan atau sistem juga menunggu hasil final.

Cara menyimpan bukti: Simpan waktu, ringkasan input-output, identitas layanan, dan error tiap tahap.

Apa yang dapat dibuktikan block explorer?

Bahwa alamat tertentu mengirim transaksi di chain dan hasil publiknya tercatat.

Explorer tidak membuktikan siapa mengendalikan alamat, model yang memutuskan, atau approval manusia. Smart wallet dan relayer juga memisahkan pengirim dari pemberi otorisasi.

Cara menyimpan bukti: Simpan chain ID, hash, from/to, input, event, status, dan konfirmasi.

Bagaimana menghubungkan trace model dengan hash transaksi?

Hash-kan objek transaksi yang dinormalisasi sebelum tanda tangan dan simpan bersama hash final.

Tangani nonce, gas, dan transaksi replacement secara eksplisit. Kecocokan waktu saja terlalu lemah, terutama ketika banyak transaksi diproses bersamaan.

Cara menyimpan bukti: Simpan trace ID, digest, nonce, policy version, signer, dan relasi replacement.

Bukti apa yang membedakan usulan dari eksekusi?

Usulan berhenti pada intent atau unsigned transaction; eksekusi memerlukan signature, broadcast, dan receipt.

Jika manusia atau layanan lain dapat mengubah tujuan, jumlah, atau calldata, Agent hanya diatribusikan sebagai pengusul. Respons alat “success” juga belum membuktikan transaksi masuk chain.

Cara menyimpan bukti: Simpan proposal, approval, signed tx, broadcast response, dan receipt.

Kesalahan atribusi apa yang paling umum?

Pekerjaan scheduler, relayer, signer manusia, atau policy preset seluruhnya dianggap kerja model.

Kesalahan lain ialah alamat bersama, hash testnet sebagai bukti produksi, demo lama dipasangkan dengan transaksi baru, dan transaksi gagal diabaikan.

Cara menyimpan bukti: Buat tabel siapa memutuskan, mengizinkan, menandatangani, menyiarkan, dan memantau.

Buku kerja verifikasi

Kartu berikut mengubah riset menjadi catatan yang dapat diulang. Kartu ini tidak menghasilkan rekomendasi; bukti, kontradiksi, versi, batas, dan kondisi yang dapat mengubah kesimpulan harus tetap disimpan.

01

Pemeriksaan 01 · Langkah apa saja dalam tindakan on-chain · Uji pendukung

Langkah putaran ini
mencari bukti terbaik yang paling dekat dengan perilaku tanpa menerima materi yang tidak dapat dihubungkan ke klaim
Bukti yang dicari
seluruh rantai memakai correlation ID
Sinyal yang menggugurkan
transaksi yang dibangun disebut sudah on-chain
Aturan putusan
konfirmasi hanya tahap yang memiliki bukti
02

Pemeriksaan 02 · Apa yang dapat dibuktikan block explorer · Uji pendukung

Langkah putaran ini
mencari bukti terbaik yang paling dekat dengan perilaku tanpa menerima materi yang tidak dapat dihubungkan ke klaim
Bukti yang dicari
receipt dan event dapat diperiksa lewat RPC lain
Sinyal yang menggugurkan
label alamat digunakan untuk menebak pengambil keputusan
Aturan putusan
bukti explorer dibatasi pada fakta chain
03

Pemeriksaan 03 · Bagaimana menghubungkan trace model dengan hash transaksi · Uji pendukung

Langkah putaran ini
mencari bukti terbaik yang paling dekat dengan perilaku tanpa menerima materi yang tidak dapat dihubungkan ke klaim
Bukti yang dicari
digest dapat dihitung ulang dari transaksi final
Sinyal yang menggugurkan
hanya timestamp berdekatan digunakan
Aturan putusan
tanpa tautan unik, atribusi tetap perkiraan
04

Pemeriksaan 04 · Bukti apa yang membedakan usulan dari eksekusi · Uji pendukung

Langkah putaran ini
mencari bukti terbaik yang paling dekat dengan perilaku tanpa menerima materi yang tidak dapat dihubungkan ke klaim
Bukti yang dicari
setiap objek tahap dapat dibandingkan
Sinyal yang menggugurkan
string sukses alat dianggap hasil chain
Aturan putusan
gunakan tahap terbukti paling akhir
05

Pemeriksaan 05 · Kesalahan atribusi apa yang paling umum · Uji pendukung

Langkah putaran ini
mencari bukti terbaik yang paling dekat dengan perilaku tanpa menerima materi yang tidak dapat dihubungkan ke klaim
Bukti yang dicari
peran memiliki pemetaan identitas yang dapat diperiksa
Sinyal yang menggugurkan
narasi produk mengisi peran yang tidak diketahui
Aturan putusan
peran yang tak pasti tetap unknown
06

Pemeriksaan 01 · Langkah apa saja dalam tindakan on-chain · Uji adversarial

Langkah putaran ini
mencoba menggugurkan kesimpulan melalui variasi, kegagalan, atau jalur alternatif sebelum menutup baris
Bukti yang dicari
seluruh rantai memakai correlation ID
Sinyal yang menggugurkan
transaksi yang dibangun disebut sudah on-chain
Aturan putusan
konfirmasi hanya tahap yang memiliki bukti
07

Pemeriksaan 02 · Apa yang dapat dibuktikan block explorer · Uji adversarial

Langkah putaran ini
mencoba menggugurkan kesimpulan melalui variasi, kegagalan, atau jalur alternatif sebelum menutup baris
Bukti yang dicari
receipt dan event dapat diperiksa lewat RPC lain
Sinyal yang menggugurkan
label alamat digunakan untuk menebak pengambil keputusan
Aturan putusan
bukti explorer dibatasi pada fakta chain
08

Pemeriksaan 03 · Bagaimana menghubungkan trace model dengan hash transaksi · Uji adversarial

Langkah putaran ini
mencoba menggugurkan kesimpulan melalui variasi, kegagalan, atau jalur alternatif sebelum menutup baris
Bukti yang dicari
digest dapat dihitung ulang dari transaksi final
Sinyal yang menggugurkan
hanya timestamp berdekatan digunakan
Aturan putusan
tanpa tautan unik, atribusi tetap perkiraan
09

Pemeriksaan 04 · Bukti apa yang membedakan usulan dari eksekusi · Uji adversarial

Langkah putaran ini
mencoba menggugurkan kesimpulan melalui variasi, kegagalan, atau jalur alternatif sebelum menutup baris
Bukti yang dicari
setiap objek tahap dapat dibandingkan
Sinyal yang menggugurkan
string sukses alat dianggap hasil chain
Aturan putusan
gunakan tahap terbukti paling akhir
10

Pemeriksaan 05 · Kesalahan atribusi apa yang paling umum · Uji adversarial

Langkah putaran ini
mencoba menggugurkan kesimpulan melalui variasi, kegagalan, atau jalur alternatif sebelum menutup baris
Bukti yang dicari
peran memiliki pemetaan identitas yang dapat diperiksa
Sinyal yang menggugurkan
narasi produk mengisi peran yang tidak diketahui
Aturan putusan
peran yang tak pasti tetap unknown

Pertanyaan umum

Jika smart wallet mengirim transaksi, apakah Agent terbukti?

Belum. Periksa module, owner, policy, dan tautannya ke trace Agent.

Bagaimana bila transaksi sukses tetapi simulasi policy gagal?

Eksekusi chain terkonfirmasi, sementara kontrol bertentangan; keduanya harus dicatat.

Apakah chain-of-thought penuh diperlukan?

Tidak. Keputusan terstruktur, parameter alat, hasil policy, dan garis waktu biasanya cukup.

Sumber yang menopang berkas ini

  1. Ethereum JSON-RPC API — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.
  2. Ethereum accounts — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.
  3. Solana transactions and instructions — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.
  4. ERC-7715: Request Permissions from Wallets — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.
  5. AI agent quickstarts for Safe Smart Account — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.
  6. Safe Modules — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.
  7. OpenZeppelin Access Control — Sumber primer untuk memeriksa cakupan, versi, perilaku, atau kontrol; periksa tanggal dan konteks halaman tertaut.