[ @alignedlayer 밋업 가려고 한 번 살펴봤습니다. ] ZK가 좋다는 얘기는 이제 다들 많이 합니다. 계산은 오프체인에서 하고, 증명만 온체인에 올리고, 이더리움은 그 증명만 확인하면 되고, 말만 들으면 되게 깔끔한데요. 근데 막상 문제는 여기서 시작됩니다. 증명을 만드는 것도 어렵고, 증명을 검증하는 것도 비싸고, 검증 비용이 비싸니까 자주 못 올리고, 자주 못 올리니까 UX는 느려지고, 결국 “ZK 쓰면 확장된다”는 말은 맞는데 그 ZK proof를 누가 싸고 빠르게 검증해줄 건데? 라는 문제가 남습니다. Aligned는 이 지점을 파고든 프로젝트입니다. 쉽게 말하면 ZK proof를 이더리움 위에서 더 싸고 빠르게 검증할 수 있게 해주는 ZK Verification Layer 쪽입니다. 공식 문서에서는 Aligned를 verifiable internet을 만들기 위한 vertically integrated stack이라고 설명하는데요. 말은 좀 거창하지만, 풀어서 보면 이렇습니다. ZK proof 검증 레이어 만들고, proof aggregation 서비스 만들고, RaaS로 ZK rollup 배포 쉽게 만들고, wallet-as-a-service, meta proving, interoperability까지 묶어서 “증명 가능한 앱을 만들려는 팀들이 매번 바닥부터 삽질하지 않게 해주겠다” 이쪽에 가깝습니다. 개인적으로 Aligned를 볼 때 핵심은 토큰이 어떻고, 에어드랍이 어떻고보다 ZK 앱이 많아질수록 proof verification이 병목이 될 수밖에 없다는 점 같습니다. 지금은 다들 zkVM, zkML, zkTLS, ZK rollup, ZK identity 이런 단어를 많이 쓰는데요. 근데 proof를 많이 만들면 뭐합니까... 검증 비용이 비싸서 온체인에 못 올리면 결국 그 증명은 서비스 안에서만 도는 파일이 됩니다. Aligned는 이걸 Proof Verification Layer와 Proof Aggregation Service 두 가지 방식으로 풀려고 합니다. 첫 번째는 Proof Verification Layer. 이건 EigenLayer restaking을 활용해서 이더리움 validator 일부, 정확히는 operator들이 proof를 검증하고 BLS signature로 결과에 서명한 뒤, 2/3 이상이 동의하면 그 결과를 이더리움에 올리는 구조입니다. 사용자는 CLI나 SDK로 proof를 보내고, batcher가 proof들을 모으고, operator들이 proof를 검증하고, aggregator가 signature를 모아서 이더리움에 결과를 기록합니다. 말만 보면 복잡한데, 요지는 이겁니다. EVM 위에서 비싼 gas 아껴가며 proof 검증하지 말고, native 환경에서 빠르게 검증한 다음, 이더리움에는 결과만 올리자. 문서 기준으로 Aligned는 Ethereum이 처리하기 어려운 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. 이건 여러 proof를 하나의 recursive proof로 압축해서 최종 proof 하나만 이더리움에서 검증하는 방식입니다. Proof Verification Layer가 빠르고 저렴한 확인 쪽이라면, Aggregation Service는 조금 느려도 이더리움 L1에서 직접 검증되는 강한 finality 쪽에 가깝습니다. 그래서 문서에서도 상황에 따라 고르라고 합니다. 빠른 UX, 낮은 latency, 많은 proof volume이 중요하면 Verification Layer. 풀 L1 finality, 가장 강한 보안, 여러 proof를 하나로 묶어 최종 체크포인트를 찍고 싶으면 Aggregation Service. 둘을 같이 쓰는 것도 가능합니다. 예를 들면 사용자 UX는 Verification Layer로 빠르게 처리하고, 주기적으로 Aggregation Service로 L1 final checkpoint를 찍는 식. 이 구조가 특히 잘 맞는 곳은 많습니다. ZK rollup은 proof를 계속 만들어야 하고, 브릿지는 source chain state proof를 검증해야 하고, zkTLS는 은행 잔고나 KYC 같은 웹2 데이터를 raw data 없이 증명해야 하고, zkML은 AI inference가 제대로 실행됐는지 증명해야 하고, identity protocol은 나이나 자격 조건을 개인정보 없이 검증해야 하고, onchain gaming은 점수나 anti-cheat logic을 계속 증명해야 합니다. 다 proof가 필요합니다. 근데 proof가 많아질수록 검증 비용이 문제 됩니다. Aligned는 여기서 “proof를 만드는 시대가 오면, proof를 검증하는 인프라도 필요하다” 라고 보는 프로젝트입니다. 이게 생각보다 중요한 포인트입니다. 지금 시장은 ZK를 되게 멋있는 기술처럼 말하지만, 실제 앱 입장에서는 결국 비용과 UX가 전부입니다. 증명 하나 검증하는 데 돈이 너무 많이 들면 못 쓰고, 확인까지 너무 오래 걸리면 유저가 안 쓰고,Kung ilang buwan ang kinakailangan ng developer para magdagdag ng verifier, mababawasan ang paglabas ng produkto. Sa wakas, kahit gaano pa kalaking teknolohiya, kung mahal, mabagal, at mahirap gamitin, mabubuhay lang ito sa mga aklat ng pananaliksik. Ang Aligned ay may hangarin na i-productize ito. Ang RaaS ay nasa parehong konteksto. Sa dokumentasyon ng Aligned, binibigkas nila na bibigyan sila ng one-click ZK-rollup deployment sa pamamagitan ng pagkakaisa ng RISC-V zkVM, Ethrex execution client, at ZK Verification Layer. Lalo na nilang pinapahalagahan ang based rollup. Ang based rollup ay isang istruktura na hindi nakasalalay sa hiwalay na sentralisadong sequencer, kundi gumagamit ng Ethereum L1 proposer/builder para sa sequencing. Sa madaling salita, ang direkta nilang paggamit ng block building infrastructure ng Ethereum para sa rollup. Kung maisasagawa ito, maaaring mabawasan ang liquidity fragmentation, sequencer risk, censorship resistance, at Ethereum composability. Bagaman ito ay patuloy pa ring eksperimento sa buong merkado, hindi dapat isipin na “totoo ito nang walang kondisyon,” mahalaga kung gaano kalaki ang aktuwal na customer at traffic na makukuha ng Aligned. Ngunit malinaw ang direksyon. Ang Aligned ay hindi isang proyekto na nagtatapos sa paggawa ng isang L2. Sa kanilang opisyal na FAQ, sinasabi pa nga nila na hindi ito isang Ethereum L2. Kundi mas malapit ito sa isang Ethereum-native ZK infrastructure stack na nagkakaisa ng ZK verification, proof aggregation, rollup deployment, wallet, proving, at interoperability. Kaya nang tingnan mo ang Aligned, hindi dapat tanungin mo: “Ano ba itong chain?” kundi: “Sa isang hinaharap kung saan maraming ZK proof, sino ang magiging responsable sa verification?” Ang tamang paraan para tingnan ito. Kung hindi lumalago ang ZK apps, natural lamang na walang kahalagahan ang ganitong uri ng infrastructure. Ngunit kung ang lahat—rollup, bridge, zkTLS, AI proof, identity, oracle, gaming— ay nagsasabing gagamit sila ng proof, noon ay maaaring maging mas mahalagang bottleneck ang pagpapabilis at pagpapababa ng gastos sa verification kaysa sa paggawa ng proof mismo. Sa wakas, ang Aligned ay isang proyekto na sumasagot sa tanong: “Nakagawa na ako ng proof—ngayon, saan ko ito i-verify?” Kung mabuti ang merkado, lahat ay magdadagdag ng mga salitang tulad ng ZK, AI, Ethereum alignment, restaking, based rollup at magtatawa-tawa. Ngunit ang mga makakaligtas sa gitna nito ay hindi yung may pinakamaraming magandang salita, kundi yung nagbibigay ng mas mura at mas mabilis na paraan para sa developer na i-save ang pera, para sa user na hindi masyadong maghintay, at para sa app na mas madalas na makapag-upload ng proof. Ang Aligned ay kahit anong sabihin, isang proyekto na nakikita ang problema. Hindi lang “ZK infrastructure” ang dapat sabihin— ang mga bottleneck na tinutukoy nito ay talagang tama.
