snark

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 증명으로 실행되는 가상 머신)을 구축하는 새로운 방법으로 설명됩니다.

ChainCatcher 메시지, 몬테네그로에서 열린 EDCON 2023 대회에서 이더리움 공동 창립자 비탈릭 부테린은 향후 10년 동안 zk-SNARK가 블록체인만큼 중요할 것이라고 밝혔습니다.이더리움 커뮤니티 컨퍼런스(EDCON)는 2023년 5월 19일부터 23일까지 몬테네그로 포드고리차에서 개최되었으며, 이번 회의의 연사로는 이더리움 공동 창립자 비탈릭 부테린, 이더리움 핵심 개발자 팀 베이코, 이더리움 재단 Devcon 팀 책임자 스카일러 위버, 이더리움 재단 연구원 블라드 잠피르, 파이퍼 메리엄, 앤디 구즈만 등이 포함되었습니다.（출처 링크）