snark

이더리움 재단 형식 검증 팀이 Yukon, zkSecurity와 협력하여 만든 오픈 자동 연구 챌린지 better.codes가 이제 온라인으로 제공됩니다. 이 플랫폼은 Proximity Prize의 자가 포함 문제를 Lean으로 형식화하고, koalaIRS12의 기계 검사 신뢰성 경계를 공공 순위에 넣어 누구나 이를 개선할 수 있도록 하여 해시 기반 SNARK 및 후양자 이더리움 관련 보안 기준을 발전시키는 데 기여합니다.해결자는 AI 지능체를 가져와 Reed-Solomon 근접 문제에 대해 더 높은 신뢰성 하한을 증명하며 고정된 128비트 목표를 향해 나아갈 수 있습니다. Lean 커널은 제출된 모든 내용을 검증하며, 승격된 증명은 공개 경계를 높이고, 새로운 보조 정리, 증명 기술 및 불가능성 결과는 상류와 동기화되어 모든 참가자가 재사용할 수 있도록 합니다. 생산 환경에서 대부분의 해시 SNARK는 관련 근접 간격 및 관련 합의 결론에 의존하며, 현재 증명 가능한 결과는 연구자가 신뢰하는 기준보다 낮습니다. 이 챌린지는 개방적이고 점진적이며 검증 가능한 방식으로 이 격차를 줄이는 것을 목표로 합니다.koalaIRS12는 관련 논문에서 유래되었으며 ArkLib에서 엔드 투 엔드 형식화되었습니다. 참가자는 GitHub를 통해 로그인하고 챌린지 저장소를 클론하여 고정 정리 진술 및 검증 프레임워크 하에 제출할 수 있습니다; 비교기와 Lean 커널이 확인한 후 결과는 공공 저장소에 기록되며 해결자와 사용된 모델이 명시됩니다. 오늘 온라인으로 제공되는 것은 koalaIRS12의 증명된 하한을 128비트로 높이는 신뢰성 챌린지이며, 이후 더 많은 문제를 추가할 수 있으며 세부 사항은 프로젝트 약관에 따릅니다.

Justin Drake는 X 플랫폼에 글을 올려 이더리움 L1이 2019년부터 주도해온 SNARK 친화적 해시 함수 Poseidon을 더 이상 사용하지 않고 SHA2 또는 BLAKE2s와 같은 전통적인 해시 함수로 전환한다고 밝혔습니다.이 조정은 SNARK 설계 분야의 발전을 기반으로 하며, 초점이 "SNARK 친화적 해시"에서 "해시 친화적 SNARK"로 이동하고 있습니다. 이진 필드의 원주율이 전통 해시의 불리언 연산과 정렬됨에 따라, 전통 해시는 SNARK에서의 증명 성능이 초당 100만 회에 도달했으며, 오버헤드는 약 100배입니다.Binius와 Flock과 같은 연구가 관련 발전을 촉진했습니다. 이더리움 재단의 포스트 양자 팀은 이 경로를 추진하고 있으며, 로드맵에는 2027년 생산 수준의 leanVM 배포와 2028년 합의 계층, 실행 계층 및 데이터 처리 계층 배포가 포함되어 있습니다.Justin Drake는 또한 AI의 암호 분석 능력이 강화되어 Gaki 솔루션 HAWK와 동종 솔루션 SQIsign이 최근 연이어 타격을 받았으며, 해시 기반 솔루션이 블록체인 포스트 양자 서명에 사용되고 있다고 언급했습니다. 오픈 소스 자동 연구 추세도 가속화되고 있으며, SNARK.fast는 초당 180만 회 BLAKE3 증명을 실현했습니다.

ChainCatcher 메시지, Vitalik Buterin은 X에서 다음과 같이 게시했습니다: "우리가 속도를 높여야 할 여러 가지 중 하나는 Groth16을 폐지하는 것입니다. 2020년대에는 각 애플리케이션의 신뢰할 수 있는 설정이 불가능합니다. 최소한 일반 설정이 필요하며, 이상적으로는 아예 설정이 없어야 합니다. 이는 인프라와 새로운 SNARK 알고리즘의 표준화에서 상당한 개선이 필요합니다."전해진 바에 따르면, Groth16 알고리즘은 Jens Groth가 2016년에 발표한 알고리즘입니다. 이 알고리즘의 장점은 제공되는 증명 요소의 수가 적고(단 3개 필요), 등식 검증이 간단하며, 완전성과 다항식 계산 능력 하에서의 신뢰성을 보장한다는 것입니다.

ChainCatcher 메시지, 이더리움 재단 연구원 Justin Drake가 논문을 발표하여 BeamSNARKs 알고리즘 관련 세부사항을 공개했습니다. BeamSNARKs는 증명자가 검증자에게 주장 진위를 증명할 수 있게 해주는 강화된 ZK 알고리즘으로, 기본 데이터를 유출하지 않고 상호작용 없이도 가능합니다.이더리움에 대해 Moonchain이 개발한 BeamSNARKs는 프라이버시와 확장성 두 가지 핵심 측면에서 혁신적입니다. 프라이버시 측면에서 BeamSNARKs는 민감한 데이터를 노출하지 않고 거래나 계산을 검증할 수 있게 하여, 비밀 거래 및 개인 스마트 계약과 같은 사용 사례를 지원합니다.전해진 바에 따르면, Beam Chain은 이더리움 3.0 시대에 필수적인 합의 레이어 개선입니다. 이는 Justin Drake가 DevCon에서 발표한 이더리움 재설계 제안입니다. 이더리움은 PoS 시대에서 ZK 시대으로 완전히 전환하는 데 수년이 걸릴 것으로 예상되며, 그때 이더리움 자체가 ZK 기능을 완전히 갖추게 될 것입니다.

ChainCatcher 메시지에 따르면, CoinDesk는 비트코인 2층 네트워크를 지원하는 인프라 BitcoinOS (BOS)가 비트코인에서 추가 실험을 위해 BitSNARK 검증 프로토콜을 오픈소스화했다고 보도했습니다.팀은 BitSNARK가 zk-SNARK 증명이 비트코인에서 실행될 수 있도록 하며, 핵심 프로토콜을 변경할 필요가 없다고 밝혔습니다. 첨단 암호화 기술을 통해 모든 코드는 비트코인에 컴파일되고 실행될 수 있습니다.

ChainCatcher 메시지, 이더리움 재단 멤버 Justin Drake가 AMA에서 "이더리움 Layer 1을 추가로 확장할 계획이 있습니까?"라는 질문에 답변했습니다.Justin Drake는 다음과 같이 말했습니다: "장기적으로 지속 가능한 우아한 계획은 SNARKs를 활용하여 L1 EVM의 실행을 무제한으로 확장하는 것입니다. 실시간 L1 EVM SNARKing을 통해 검증자는 EVM 거래를 다시 실행하는 대신 저렴한 SNARK를 검증할 수 있습니다. L1 EVM Gas 제한을 대폭 증가시켜 가져오는 수직 확장 이점 외에도, EVM 내의 EVM 실행을 저렴하게 검증하기 위해 EVM-in-EVM 사전 컴파일을 사용하여 임의의 수평 확장을 할 수 있는 기회도 있습니다."

ChainCatcher 메시지에 따르면, The Block에서 보도한 바와 같이 a16z Crypto는 SNARK를 활용하여 EVM 호환 Rollups에 프레임워크를 제공하는 zkEVM 솔루션인 Jolt를 출시했습니다.a16z Crypto는 "속도 향상 외에도 Jolt가 새로운 설계 패러다임을 기반으로 하기 때문에 개발자가 확장하기가 더 쉽고 감사하기도 더 쉬워져 보안성이 향상됩니다."라고 밝혔습니다.

ChainCatcher 메시지, 제로 지식 증명 가속 플랫폼 Ulvetanna가 'Binius: 하드웨어 최적화된 SNARK'라는 제목의 연구 논문을 발표했습니다. 이 논문은 이진 필드를 기반으로 한 SNARK 성능 최적화 구축 방법을 보여주며, 현실 세계 ZKP 생성 과정에서 가져올 수 있는 성능 향상에 대해 설명합니다. 또한, 팀은 이 시스템의 Rust 구현 방법(Binius라는 이름)에도 힘쓰고 있습니다.

ChainCatcher 메시지에 따르면, Andreessen Horowitz의 암호화폐 부서 a16z crypto가 SNARK 기반의 두 가지 새로운 기술 Lasso와 Jolt를 출시했습니다. 이는 SNARK 설계를 위한 보다 효율적인 방법을 제공하여 개발자들이 더 빠르고 쉽게 이해할 수 있도록 하며, Layer 2에서 ZK-rollups의 발전을 촉진할 가능성이 있습니다.문서에서는 Lasso가 "파라미터 찾기" 메커니즘을 채택하여 더 빠른 제로 지식 증명을 가능하게 한다고 언급했습니다. Jolt는 이더리움 가상 머신과 호환되는 Roll-ups를 위해 설계된 프레임워크입니다. 이는 Lasso를 활용하여 SNARK VM(즉, SNARK 증명으로 실행되는 가상 머신)을 구축하는 새로운 방법으로 설명됩니다.