Saya memuat ulang pernyataan yang sama dan data telah berubah.
Lokasi `dataLocation` yang sama.
Konten yang berbeda.
Saya memeriksanya lagi.
Pointer yang sama.
Tetap berbeda.
Jadi saya mengambil timestamp.
`attestTimestamp`
Lebih tua dari apa yang saya lihat sekarang.
Saya pikir saya mencampur sesuatu.
Jadi saya mencoba yang lain.
Pernyataan yang berbeda.
Pola yang sama.
Lokasi yang sama.
Data baru.
Di situlah semuanya berhenti terasa seperti kesalahan.
Pernyataan tersebut terverifikasi.
Bersih.
Tidak ada yang gagal.
Tidak ada yang ditandai.
Tetapi apa yang dihasilkan tidak sama dengan apa yang ada saat itu dikeluarkan.
Saya terus melanjutkan.
Lebih banyak pernyataan menggunakan `dataLocation` off-chain.
Perilaku yang sama.
Referensi tetap tetap.
Konten di baliknya bergerak.
Dan sistem memperlakukannya sebagai hal yang sama.
Saya terus kembali ke ini.
Drift pointer.
Sistem mengaitkan lokasi...
bukan keadaan data pada `attestTimestamp`.
Jadi tetap terverifikasi.
Hanya tidak terhadap apa yang sebenarnya dilihat oleh penerbit.
Itulah pemutusnya.
Kredensial diteruskan...
tetapi itu tidak lagi membuktikan apa yang dikeluarkan.
$SIGN hanya penting di sini jika sistem yang memverifikasi terhadap `dataLocation` alih-alih keadaan pada `attestTimestamp` masih cukup ketika kedua hal tersebut mulai menyimpang secara skala.
Karena setelah mereka menyimpang...
tidak ada yang rusak.
Tidak ada yang gagal.
Tidak ada yang diperbarui.
Ini masih terverifikasi.
Jadi pertanyaan yang sebenarnya menjadi ini.
Ketika pointer tetap stabil tetapi data berubah...
apa sebenarnya yang masih dibuktikan oleh pernyataan?
Saya mencoba untuk mencabut sebuah akreditasi sebelumnya dan itu tidak bergerak.
Tidak ada kesalahan.
Hanya tidak ada jalur.
Saya memeriksanya lagi.
Masih valid.
Jadi saya naik satu lapisan.
Skema.
`revocable = false`
Saya menjalankan yang lain di bawah skema yang sama.
Akreditasi yang berbeda.
Hasil yang sama.
Dua kredensial.
Tidak ada yang dapat dicabut.
Saat itulah semuanya berubah.
Ini bukan pencabutan yang gagal.
Tidak ada yang perlu dieksekusi.
Kredensial tidak terkunci setelah penerbitan.
Itu diterbitkan dengan cara itu.
Saya terus melanjutkan.
Lebih banyak akreditasi.
Skema yang sama.
Perilaku yang sama.
Setiap dari mereka dapat diterbitkan.
Tidak ada yang dapat diambil kembali.
Dan tidak ada yang dalam akreditasi yang memberi tahu Anda tentang hal itu.
Anda hanya melihatnya ketika Anda mencoba untuk mencabut...
dan tidak ada yang terjadi.
Saya terus kembali ke ini.
Sebuah kunci pencabutan.
Bukan penundaan.
Bukan pembatasan.
Hanya ketiadaan.
Kemampuan untuk menerbitkan ada.
Kemampuan untuk memperbaiki tidak ada.
Dan keputusan itu tidak diambil ketika kredensial dibuat.
Itu sudah dibuat sebelum ia ada.
$SIGN hanya penting di sini jika sebuah sistem di mana `revocable = false` menghapus pencabutan sepenuhnya di lapisan skema masih cukup ketika kondisi di sekitar kredensial tersebut mulai berubah.
Karena setelah Anda mencapai batas itu...
tidak ada yang rusak.
Tidak ada yang gagal.
Tidak ada yang diperbarui.
Itu hanya tetap.
Jadi pertanyaan yang sebenarnya menjadi ini.
Jika pencabutan tidak pernah ada sejak awal...
apa sebenarnya yang diharapkan sistem untuk beradaptasi nanti?
Saya memeriksa konfirmasi validator pada Tengah Malam tepat setelah batch bukti dibersihkan lebih awal dan sesuatu tentang apa yang terkandung di dalamnya menghentikan saya.
Itu mengembalikan valid yang bersih.
Tidak ada bendera.
Tapi tidak ada yang memberi tahu saya apa yang sebenarnya telah diverifikasi.
Saya menggulirnya lagi berharap konteks muncul di suatu tempat.
Sebuah referensi. Apa saja.
Tidak ada lagi yang bisa ditemukan.
Konfirmasi tetap ada.
Maknanya tidak.
Saya harus memeriksa itu dua kali.
Saya berharap verifikasi memberi tahu saya sesuatu tentang keadaan yang mendasarinya.
Itu tidak.
Saat itulah mulai terasa seperti data yang hilang.
Dan mulai terasa struktural.
Validator tidak mengonfirmasi apa yang terjadi.
Ini mengonfirmasi bahwa sesuatu yang valid terjadi.
Tanpa pernah perlu memahaminya.
Saya terus kembali ke ini sebagai kesenjangan pemahaman.
Di mana verifikasi tetap utuh.
Tapi pemahaman tidak pernah tiba.
Dua keadaan mendasar yang sepenuhnya berbeda dapat melewati konfirmasi yang sama.
Dan tidak ada yang dalam output yang memisahkan mereka. Itu berlaku saat volume rendah.
Menjadi lebih sulit untuk dipikirkan ketika bukti mulai menumpuk.
$NIGHT hanya relevan di sini jika lapisan verifikasi ini masih dapat memisahkan apa yang tetap valid dari apa yang tetap bermakna setelah konfirmasi mulai terakumulasi.
Karena sistem yang dapat memverifikasi segalanya tanpa memahami apa pun tidak langsung rusak.
Ini mengompresi perbedaan menjadi hasil yang sama. Jadi ujian yang sebenarnya menjadi ini.
Ketika konfirmasi mulai tumpang tindih di bawah beban, apa sebenarnya yang diyakini jaringan?
Seolah-olah pencabutan terjadi tepat setelah penerbitan.
Tapi tidak.
Tidak ada "setelah".
REKAMAN SIGN mencatat kedua peristiwa secara independen.
Mereka hanya terpecahkan pada momen yang sama.
Yang berarti kredensial ini tidak pernah memiliki status yang valid.
Tidak sebentar pun.
Bahkan tidak untuk satu blok.
Yang berarti tidak pernah ada status untuk sistem mana pun untuk dibaca.
Di situlah ia berubah.
Ini bukan kredensial yang dicabut.
Ini adalah kredensial yang sama sekali mengabaikan validitas.
Hilang seketika.
Sebuah kredensial yang ada dalam struktur, tetapi tidak pernah ada dalam waktu.
Saya mengikuti bagaimana sistem memperlakukannya.
Ia terpecahkan.
Skema dimuat.
Penerbit diperiksa.
Semuanya lulus di permukaan.
Kecuali tidak pernah ada titik di mana itu benar-benar bisa digunakan.
Itu hanya muncul jika Anda membaca timestamp secara langsung.
Di sinilah $SIGN mulai menjadi penting.
$SIGN hanya penting jika protokol dapat membedakan antara suatu penegasan di mana `attestTimestamp == revokeTimestamp` dan yang menjadi tidak valid kemudian.
Karena saat ini keduanya terpecahkan dengan cara yang sama, meskipun hanya satu yang pernah valid.
Jadi pertanyaannya menjadi ini.
Jika penerbitan dapat menghasilkan sesuatu yang tidak pernah valid bahkan untuk satu detik, apa sebenarnya arti "dikeluarkan" di dalam sistem?