[ @alignedlayer 밋업을 위해 한 번 살펴봤습니다. ] ZK가 좋다는 말은 이제 모두가 많이 합니다. 계산은 오프체인에서 하고, 증명만 온체인에 올리고, 이더리움은 그 증명만 확인하면 되고, 말로만 들으면 정말 깔끔해 보이죠. 하지만 실제 문제는 여기서부터 시작됩니다. 증명을 만드는 것도 어렵고, 증명을 검증하는 것도 비싸고, 검증 비용이 비싸니 자주 올릴 수 없고, 자주 올릴 수 없으니 UX는 느려지고, 결국 “ZK를 쓰면 확장된다”는 말은 맞지만, 그 ZK 증명을 누가 싸고 빠르게 검증해줄 것인가? 라는 문제가 남습니다. Aligned는 이 지점을 집중적으로 파고든 프로젝트입니다. 간단히 말해, 이더리움 위에서 ZK 증명을 더 싸고 빠르게 검증할 수 있게 해주는 ZK Verification Layer입니다. 공식 문서에서는 Aligned를 가시적인 인터넷을 만드는 수직 통합 스택이라고 설명하는데요. 말은 다소 거창하지만, 풀어서 설명하면 이렇습니다. ZK 증명 검증 레이어를 만들고, proof aggregation 서비스를 개발하고, RaaS를 통해 ZK rollup 배포를 쉽게 만들고, wallet-as-a-service, meta proving, 인터커넥티비티까지 모두 묶어서 “증명 가능한 앱을 만들려는 팀들이 매번 바닥부터 고생하지 않게 하겠다” 는 방향에 가깝습니다. 제가 Aligned를 볼 때 핵심은 토큰이나 에어드랍이 어떻게 되느냐보다 ZK 앱이 많아질수록 proof verification이 반드시 병목이 될 수밖에 없다는 점입니다. 지금은 모두가 zkVM, zkML, zkTLS, ZK rollup, ZK identity 같은 단어를 많이 쓰는데요. 그런데 증명을 많이 만들면 뭐합니까? 검증 비용이 비싸서 온체인에 올릴 수 없다면, 결국 그 증명은 서비스 내부에서만 순환하는 파일이 될 뿐입니다. Aligned는 이를 Proof Verification Layer와 Proof Aggregation Service 두 가지 방식으로 해결하려 합니다. 첫 번째는 Proof Verification Layer입니다. 이는 EigenLayer restaking을 활용하여 이더리움 validator 중 일부, 정확히는 operator들이 증명을 검증하고, BLS 서명으로 결과에 서명한 뒤, 2/3 이상이 동의하면 그 결과를 이더리움에 올리는 구조입니다. 사용자는 CLI나 SDK로 증명을 보내고, batcher가 증명들을 모으고, operator들이 증명을 검증하고, aggregator가 서명을 모아서 이더리움에 결과를 기록합니다. 말로만 들으면 복잡해 보이지만, 핵심은 이렇습니다. EVM 위에서 비싼 가스를 아끼며 증명 검증하지 말고, 네이티브 환경에서 빠르게 검증한 뒤, 이더리움에는 결과만 올리자. 문서에 따르면 Aligned는 이더리움이 처리하기 어려운 proof system도 지원할 수 있고, verification cost를 proof system에 덜 종속되게 만들겠다고 합니다. Groth16, Plonk, SP1, Risc0, Circom 같은 verifier를 지원하고, Mina 관련 verifier도 테스트넷에서 지원합니다. Jolt, Nexus 같은 것도 로드맵에 있습니다. 이것이 중요한 이유는 개발자가 proof system을 선택할 때 “이걸 이더리움에서 검증할 수 있는가?” “가스비를 감당할 수 있는가?” “precompile이 없으면 어떻게 할까?” 같은 고민을 덜 수 있기 때문입니다. 원래 proof system마다 온체인 검증 비용이 달랐고, 어떤 건 너무 커서 이더리움에서 검증 자체가 비현실적이었으며, 새로운 proving system을 도입하려면 gas optimized smart contract나 precompile을 기다려야 했는데, Aligned는 이를 더 유연하게 만들겠다는 방향입니다. 두 번째는 Proof Aggregation Service입니다. 여러 증명을 하나의 recursive proof로 압축하여 최종 증명 하나만 이더리움 L1에서 검증하는 방식입니다. Proof Verification Layer가 빠르고 저렴한 검증 쪽이라면, Aggregation Service는 약간 느리더라도 이더리움 L1에서 직접 검증되는 강력한 finality 쪽에 가깝습니다. 그래서 문서에서도 상황에 따라 선택하라고 권장합니다. 빠른 UX, 낮은 지연 시간, 많은 proof volume이 중요하면 Verification Layer. 완전한 L1 finality, 가장 강력한 보안, 여러 증명을 하나로 묶어 최종 체크포인트를 찍고 싶다면 Aggregation Service. 둘을 함께 사용하는 것도 가능합니다. 예를 들어, 사용자 UX는 Verification Layer로 빠르게 처리하고, 주기적으로 Aggregation Service로 L1 최종 체크포인트를 찍는 식입니다. 이 구조는 특히 여러 분야에 잘 맞습니다. ZK rollup은 지속적으로 증명을 만들어야 하고, 브릿지는 소스 체인 상태 증명을 검증해야 하고, zkTLS는 은행 잔고나 KYC 같은 웹2 데이터를 원본 데이터 없이 증명해야 하고, zkML은 AI 추론이 제대로 실행되었는지 증명해야 하고, identity protocol은 나이나 자격 조건을 개인정보 없이 검증해야 하고, onchain gaming은 점수나 anti-cheat 로직을 지속적으로 증명해야 합니다. 모두 증명이 필요합니다. 그런데 증명이 많아질수록 검증 비용이 문제가 됩니다. Aligned는 여기서 “증명을 만드는 시대가 오면, 증명을 검증하는 인프라도 필요하다” 라고 보는 프로젝트입니다. 이는 생각보다 중요한 포인트입니다. 지금 시장은 ZK를 멋진 기술처럼 말하지만, 실제 앱 입장에서는 결국 비용과 UX가 전부입니다. 증명 하나 검증하는 데 돈이 너무 많이 들면 쓸 수 없고, 확인까지 너무 오래 걸리면 유저가 쓰지 않죠.Jika pengembang memerlukan beberapa bulan untuk menambahkan verifier, pelancaran produk akan tertunda. Pada akhirnya, teknologi yang baik pun akan tetap hanya menjadi dokumen penelitian jika ia mahal, perlahan, dan sukar digunakan. Aligned nampaknya berusaha membawa solusi ini ke arah produk. RaaS juga berada dalam konteks yang sama. Dalam dokumen Aligned, ia menjelaskan akan menyatukan RISC-V zkVM, Ethrex execution client, dan ZK Verification Layer untuk menyediakan pelaksanaan ZK-rollup satu-klik. Ia khususnya menekankan based rollup. Based rollup adalah struktur yang tidak bergantung pada sequencer terpusat terpisah, melainkan memanfaatkan Ethereum L1 proposer/builder untuk sequencing. Dengan kata mudah, rollup ini bertujuan untuk memanfaatkan infrastruktur pembuatan blok Ethereum secara lebih langsung. Jika ini berjaya, ia boleh mengurangkan masalah seperti fragmentasi likuiditi, risiko sequencer, ketahanan terhadap sensor, dan komposabiliti Ethereum. Namun, ini masih merupakan bidang eksperimen secara keseluruhan di pasaran, jadi jangan anggap ia “pasti berjaya”. Yang penting ialah sejauh mana Aligned berjaya menarik pelanggan dan trafik sebenar. Namun, arahannya jelas. Aligned bukanlah projek yang berakhir setelah mencipta satu L2. Dalam FAQ rasminya, Aligned juga menyatakan ia bukan Ethereum L2. Sebaliknya, ia lebih mirip stack infrastruktur ZK native Ethereum yang menggabungkan verifikasi ZK, penggabungan bukti, pelaksanaan rollup, dompet, pembuktian, dan interoperabiliti. Oleh itu, ketika melihat Aligned, lebih tepat untuk bertanya: “Di masa depan di mana bukti ZK semakin ramai, siapa yang akan bertanggungjawab atas pengesahannya?” Bukan: “Ini blockchain apa?” Jika aplikasi ZK tidak bertambah, infrastruktur seperti Aligned pasti tidak menarik. Namun, jika semua pihak — rollup, bridge, zkTLS, AI proof, identity, oracle, gaming — semua ingin menggunakan proof, pada masa itu, bottleneck utama mungkin bukan lagi pihak yang membuat proof, melainkan pihak yang boleh mengesahkan proof dengan murah dan pantas. Pada akhirnya, Aligned adalah projek yang cuba menjawab soalan: “Kita sudah buat proof — sekarang di mana kita hendak mengesahkannya?” Apabila pasaran baik, semua orang akan memakai istilah-istilah seperti ZK, AI, Ethereum alignment, restaking, based rollup — dan bersuka ria. Tetapi yang benar-benar bertahan bukanlah pihak yang memakai banyak istilah menarik, melainkan pihak yang membuat pengembang berjimat, pengguna menunggu lebih sedikit, dan aplikasi boleh menghantar proof lebih kerap. Aligned sekurang-kurangnya adalah projek yang sedang memperhatikan masalah ini. Menganggapnya hanya sebagai “infrastruktur ZK” saja terlalu ringkas — ia benar-benar menyentuh bottleneck yang tepat.