[ Saya sempat mengecek AlignedLayer karena ingin bergabung dalam meetup. ] Sekarang hampir semua orang bilang ZK itu bagus. Komputasi dilakukan secara off-chain, hanya bukti (proof) yang diunggah ke on-chain, dan Ethereum hanya perlu memverifikasi bukti tersebut, terdengar sangat rapi jika hanya didengar. Namun, masalahnya justru muncul di sini. Membuat bukti itu sulit, memverifikasi bukti itu mahal, karena biaya verifikasi mahal, maka tidak bisa sering diunggah, karena tidak sering diunggah, maka UX menjadi lambat, akhirnya, memang benar bahwa “menggunakan ZK akan meningkatkan skalabilitas”, tapi masalahnya: siapa yang akan memverifikasi ZK proof ini dengan murah dan cepat? Aligned adalah proyek yang mengeksplorasi titik ini. Secara sederhana, Aligned adalah ZK Verification Layer yang memungkinkan verifikasi ZK proof di atas Ethereum menjadi lebih murah dan lebih cepat. Dokumen resmi menjelaskan Aligned sebagai stack yang terintegrasi secara vertikal untuk menciptakan internet yang dapat diverifikasi. Meski terdengar megah, jika dijabarkan lebih sederhana, begini: Membuat lapisan verifikasi ZK proof, membuat layanan agregasi proof, menyediakan RaaS agar deploy ZK rollup menjadi lebih mudah, wallet-as-a-service, meta proving, serta interoperabilitas — semuanya digabungkan untuk mengatakan: “Kami ingin tim yang ingin membuat aplikasi yang dapat diverifikasi tidak perlu lagi memulai dari nol.” Secara pribadi, ketika melihat Aligned, intinya bukan pada token atau airdrop-nya, melainkan pada fakta bahwa semakin banyak aplikasi ZK yang muncul, semakin besar kemungkinan proof verification menjadi bottleneck. Saat ini semua orang banyak membicarakan istilah seperti: zkVM, zkML, zkTLS, ZK rollup, ZK identity. Tapi apa gunanya membuat banyak proof jika... biaya verifikasinya mahal sehingga tidak bisa diunggah ke on-chain? Pada akhirnya, bukti itu hanya menjadi file yang beredar di dalam layanan saja. Aligned mencoba menyelesaikan masalah ini melalui dua pendekatan: Proof Verification Layer dan Proof Aggregation Service. Pertama, Proof Verification Layer. Ini memanfaatkan EigenLayer restaking, di mana sebagian validator Ethereum — lebih tepatnya operator — akan memverifikasi proof, menandatangani hasilnya dengan BLS signature, dan jika lebih dari 2/3 setuju, hasilnya diunggah ke Ethereum. Pengguna mengirim proof melalui CLI atau SDK, batcher mengumpulkan proof-proof tersebut, operator memverifikasi proof, aggregator mengumpulkan signature, dan akhirnya mencatat hasilnya ke Ethereum. Kalau hanya didengar terdengar rumit, tetapi intinya sederhana: Jangan verifikasi proof dengan boros gas di atas EVM, verifikasi secara cepat di lingkungan native, lalu hanya kirim hasilnya ke Ethereum. Menurut dokumen, Aligned mendukung sistem proof yang sulit diproses oleh Ethereum, dan ingin membuat biaya verifikasi lebih independen dari jenis sistem proof tertentu. Aligned mendukung verifier seperti Groth16, Plonk, SP1, Risc0, Circom, serta verifier terkait Mina sudah tersedia di jaringan uji coba. Jolt, Nexus juga ada dalam roadmap. Ini penting karena ketika pengembang memilih sistem proof, mereka tidak perlu lagi khawatir: “Apakah ini bisa diverifikasi di Ethereum?” “Apakah biaya gas-nya terjangkau?” “Bagaimana jika tidak ada precompile?” Dulu, biaya verifikasi on-chain berbeda-beda tergantung sistem proof-nya, beberapa terlalu besar sehingga verifikasi di Ethereum tidak realistis, dan untuk menambah sistem proving baru, kita harus menunggu smart contract yang dioptimalkan gas atau precompile, Aligned ingin membuat ini lebih fleksibel. Kedua, Proof Aggregation Service. Ini adalah cara mengompres banyak proof menjadi satu recursive proof, sehingga hanya satu proof akhir yang perlu diverifikasi di Ethereum. Jika Proof Verification Layer fokus pada kecepatan dan biaya rendah, Aggregation Service lebih condong ke finality kuat yang diverifikasi langsung di L1 Ethereum — meskipun agak lebih lambat. Oleh karena itu, dokumen merekomendasikan memilih sesuai kebutuhan: Jika UX cepat, latency rendah, dan volume proof besar penting → pilih Verification Layer. Jika finality L1 penuh, keamanan paling kuat, dan ingin menggabungkan banyak proof menjadi satu checkpoint akhir → pilih Aggregation Service. Keduanya juga bisa digunakan bersamaan. Contohnya: UX pengguna diproses cepat lewat Verification Layer, secara berkala dibuat checkpoint final di L1 lewat Aggregation Service. Struktur ini sangat cocok untuk banyak kasus: ZK rollup harus terus membuat proof, bridge harus memverifikasi proof state dari chain sumber, zkTLS harus membuktikan data web2 seperti saldo bank atau KYC tanpa data mentah, zkML harus membuktikan bahwa inferensi AI berjalan dengan benar, identity protocol harus memverifikasi usia atau kualifikasi tanpa mengungkap data pribadi, onchain gaming harus terus membuktikan skor atau logika anti-cheat. Semuanya butuh proof. Tapi semakin banyak proof yang dibuat, semakin besar masalah biaya verifikasinya. Aligned melihat ini sebagai “ketika era pembuatan proof tiba, infrastruktur untuk verifikasi proof juga harus ada.” Ini adalah poin yang jauh lebih penting daripada yang terlihat. Saat ini pasar memperlakukan ZK seolah-olah teknologi yang sangat keren, tetapi bagi aplikasi nyata, pada akhirnya yang penting hanyalah biaya dan UX. Jika biaya verifikasi satu proof terlalu mahal, tidak bisa digunakan. Jika proses verifikasinya terlalu lama, pengguna tidak akan mau pakai.Jika pengembang membutuhkan beberapa bulan untuk menambahkan verifier, peluncuran produk akan tertunda. Pada akhirnya, teknologi yang baik pun akan tetap hanya menjadi dokumen penelitian jika terlalu mahal, lambat, dan sulit. Aligned seolah berusaha membawa hal itu ke arah produk. RaaS juga berada dalam konteks yang sama. Dalam dokumen Aligned, dijelaskan bahwa mereka akan menggabungkan RISC-V zkVM, Ethrex execution client, dan ZK Verification Layer untuk menyediakan deploy ZK-rollup satu-klik. Terutama menekankan based rollup. Based rollup adalah arsitektur yang tidak bergantung pada sequencer terpusat terpisah, melainkan memanfaatkan Ethereum L1 proposer/builder untuk sequencing. Dengan kata sederhana, rollup ini bertujuan untuk memanfaatkan infrastruktur block building Ethereum secara lebih langsung. Jika ini berhasil, logikanya adalah dapat mengurangi masalah-masalah seperti fragmentasi likuiditas, risiko sequencer, ketahanan terhadap sensor, dan komposabilitas Ethereum. Tentu saja, ini masih merupakan area yang sedang diuji oleh seluruh pasar, jadi tidak bisa diasumsikan “pasti berhasil”. Yang penting adalah sejauh mana Aligned mampu menarik pelanggan dan lalu lintas nyata. Namun, arahnya jelas. Aligned bukanlah proyek yang berakhir setelah membuat satu L2. Dalam FAQ resmi pun, Aligned menyatakan bahwa itu bukan Ethereum L2. Sebaliknya, Aligned lebih mirip stack infrastruktur ZK native Ethereum yang menggabungkan verifikasi ZK, penggabungan bukti, deploy rollup, dompet, proving, dan interoperabilitas. Oleh karena itu, saat melihat Aligned, pertanyaan yang tepat bukanlah “Ini blockchain apa?” melainkan “Di masa depan di mana bukti ZK semakin banyak, siapa yang akan bertanggung jawab atas verifikasinya?” Pertanyaan itulah yang lebih tepat. Jika aplikasi ZK tidak bertambah, infrastruktur seperti Aligned tentu tidak menarik. Namun jika rollup, bridge, zkTLS, AI proof, identity, oracle, gaming—semuanya ingin menggunakan proof— maka pada saat itu, bottleneck yang lebih penting bukanlah pihak yang membuat proof, melainkan pihak yang mampu memverifikasi proof dengan murah dan cepat. Pada akhirnya, Aligned adalah proyek yang mencoba menjawab pertanyaan: “Saya sudah membuat proof-nya, sekarang di mana saya harus memverifikasinya?” Jika pasar baik, semua orang akan dengan senang hati menambahkan kata-kata seperti ZK, AI, Ethereum alignment, restaking, based rollup— namun yang benar-benar bertahan bukanlah yang paling banyak menambahkan kata-kata keren, melainkan yang membuat pengembang menghemat biaya, pengguna menunggu lebih sedikit, dan aplikasi bisa mengunggah proof lebih sering. Aligned setidaknya adalah proyek yang benar-benar melihat masalah ini. Menganggapnya hanya sebagai “infrastruktur ZK” saja terlalu dangkal— masalah yang disentuhnya ternyata sangat tepat.
