BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper

출처:IACR ePrint (암호학)

AI 인사이트

개발자투자자

1.비트코인에서 Groth16 증명을 검증하는 신규 프로토콜 BABE, BitVM3 대비 오프체인 저장·설정 비용을 1000배 절감
2.BitVM2의 온체인 수수료 문제(사례 1.4만 달러 이상)를 BitVM3가 줄였지만 42GB 가비지 서킷 부담이 남았고 BABE가 이를 해결
3.선형 페어링 관계용 증인 암호화로 Groth16 검증을 비선형 페어링까지 확장
4.타원곡선 스칼라 곱셈용 효율적 가비지 서킷을 2자 계산 프로토콜로 구현, 최신 Argo MAC 기법 기반

왜 중요한가?

비트코인 스크립팅 언어의 제약 때문에 succinct proof 검증은 온체인 비용이나 오프체인 저장 중 하나를 희생해야 했는데, BABE는 두 비용을 동시에 크게 낮춰 비트코인 확장과 타 체인 연동을 현실적으로 만든다.

언급 프로젝트

BABE BitVM2 BitVM3 Bitcoin Argo MAC

본문 미리보기

Endowing Bitcoin with the ability to verify succinct proofs has been a longstanding problem with important applications such as scaling Bitcoin and allowing the Bitcoin asset to be used in other blockchains trustlessly. It is a challenging problem due to the lack of expressiveness in the Bitcoin scripting language and the small Bitcoin block space. BitVM2 is the state-of-the-art verification protocol for Bitcoin used in several mainnets and testnets, but it suffers from very high on-chain Bitcoi

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기