TechFlow 소식. 스탠퍼드 대학교 교수이자 Babylon 공동 설립자인 David Tse는 팀이 비트코인을 위한 Groth16 증명 검증 프로토콜인 BABE(BABYLON-BErkeley)를 공식 출시했다고 발표했다. 팀은 이 방식이 기존 최고 수준 대비 설정(setup) 및 저장 비용 측면에서 약 3개의 수량급(1000배) 개선을 달성했으며, 비트코인 상에서 zkSNARK 증명을 검증하는 작업을 더욱 실현 가능하고 공학적으로 실용적으로 만들 것이라고 밝혔다.
소개에 따르면, BABE는 두 가지 핵심 아이디어를 결합한 것으로, 선형 페어링 기반 위트니스 암호화(witness encryption)와 새로 제안된 Argo MAC(가블링 기본 연산 원시)이 그것이다. 여기서 위트니스 암호화는 Groth16 검증 과정의 복잡한 페어링 연산을 BN254 타원 곡선 상에서 단 한 번의 스칼라 곱셈으로 압축할 수 있게 하며, 이후 이 스칼라 곱셈은 벡터 호모몰픽 MAC(vector homomorphic MAC)으로 추가 변환되고, Argo MAC에 의해 효율적으로 계산될 수 있다.
팀은 BABE가 2월 출시 예정인 Babylon 알파 테스트넷의 Babylon Trustless Bitcoin Vault 구성 요소로 포함될 예정이며, 논문을 읽고 피드백을 제공해 줄 것을 커뮤니티에 초청했다.




