Payne, pengembang tim Ola, solusi privasi dan penskalaan yang dapat diprogram, men-tweet bahwa dia menemukan kerentanan logika di Aleo dan menerima hadiah bug dari Aleo. Ketika Payne mempelajari kode Aleo, dia menemukan bahwa ada kesalahan logis dalam pemeriksaan validitas Catatan yang dihabiskan oleh pengguna. Ketika Record yang dihabiskan dihasilkan selama pelaksanaan kontrak sebelumnya dari transaksi yang sama, komitmen Record harus digunakan untuk membuat node daun dari pohon transisi, tetapi Aleo menggunakan nomor seri Record untuk membuat node daun , yang akan menyebabkan transaksi menjadi In-circuit verification failed. Setelah komunikasi dan konfirmasi, tim Aleo telah memperbaiki kerentanan ini. Ola adalah proyek ZK-ZKVM kinerja tinggi dua lapis yang diinkubasi oleh Sin7y Labs, yang berfokus pada privasi yang dapat diprogram, perluasan yang dapat diprogram, dan kompatibilitas multibahasa. Ola diperkirakan akan meluncurkan testnet internal pada kuartal ketiga 2023 dan testnet publik pada akhir tahun.