gWarden ✌️

Masalah utama dalam verifikasi AI bukan tentang kepercayaan ... melainkan tentang determinisme

Sebagian besar sistem mengharapkan input yang sama selalu memberikan output yang sama ... tetapi itu tidak berlaku untuk tugas-tugas LLM yang nyata, di mana output dapat bervariasi

ZKML klasik dibuat untuk model kecil dengan hasil yang dapat diprediksi dan banyak pemeriksaan kripto

Agen AI modern dirancang agar memiliki output yang berubah-ubah

Yang menarik perhatian saya belakangan ini adalah SPEX dari @wardenprotocol 👌

Alih-alih memaksa semuanya ke dalam bukti ketat, mereka mengambil sampel proses itu sendiri ... tanpa harus menjalankan ulang secara penuh atau bukti ZK yang panjang 💯

Cukup:

-> jalankan → simpan status → sampel → periksa

Biaya tetap rendah dan stabil, bukannya meningkat pesat 👌

Untuk hal-hal seperti pemikiran LLM, pilihan agen, atau perhitungan yang tidak dapat diulang, ini lebih penting daripada teori yang sempurna 💯

Ini tidak menggantikan ZKML, tetapi benar-benar meningkatkan skala biaya dan teknologi

Jika jaringan yang berfokus pada AI adalah masa depan, ini mungkin salah satu percobaan nyata pertama dalam memverifikasi mereka dalam skala besar 💯

gWarden ✌️