Sebuah popup dompet menampilkan alamat kontrak, nama fungsi, dan perkiraan gas. Tidak ada apa pun di layar itu yang memberi tahu Anda bagaimana saldo Anda terlihat setelah Anda menandatangani. Sebagian besar orang mengklik persetujuan tetap, karena alternatifnya adalah membaca bytecode. Penandatanganan buta adalah cara sebagian besar kerugian onchain yang bukan disebabkan oleh bug protokol sebenarnya terjadi. Pengguna memberikan otorisasi. Mereka hanya tidak memiliki cara untuk melihat apa yang mereka otorisasi. Velora, prototipe portofolio DeFi reaktif yang ditampilkan di Rialo Builders Hub baru-baru ini, mensimulasikan setiap transaksi onchain sebelum dompet pengguna menandatangani apa pun. Hasilnya dihitung terlebih dahulu. Tanda tangan datang setelahnya, terhadap hasil yang dapat diperiksa pengguna. Digabungkan dengan batas harian tetap $2.500 dan pemblokiran otomatis terhadap transfer ke alamat yang tidak diizinkan, agen ini beroperasi di dalam batas-batas yang benar-benar dapat dilihat pengguna. Apa yang membuat simulasi pra-eksekusi dapat dipercaya di sini adalah bahwa eksekusi @RialoHQ bersifat deterministik secara konstruksi. Program-program dikonversi menjadi bytecode identik di setiap validator sebelum apa pun dijalankan, dengan batas sumber daya yang ditentukan secara eksplisit sejak awal. Simulasi yang tidak dapat menyimpang dari eksekusi nyata adalah simulasi yang layak dibaca. Dompet perangkat keras telah menyelesaikan pertanyaan siapa yang memegang kunci. Tidak pernah ada yang menyelesaikan apakah orang yang memegangnya memahami apa yang mereka tandatangani.