또는: geohot 해킹을 도와 $50,000 획득

오늘 우리는 공식적으로 Cannon을 세계에 소개하게 되어 매우 기쁩니다. Cannon은 Optimism의 차세대 결함 증명입니다. geohot 에 의한 초기 구현은 EVM과 동등한 L2를 실행할 수 있는 최초의 공공 결함 증명 구현이 되었습니다. 아, 그리고 이론상 최소 calldata 가스 비용 도 가능합니다 .

1일 차부터 Cannon은 다음 주요 릴리스인 Optimism: Bedrock을 염두에 두고 제작되었습니다. Cannon은 앞으로 몇 년 동안 Optimism의 기초가 될 것입니다.

오늘 우리는 최대 $250,000 상금의 버그 바운티를 시작하여 Cannon의 약속을 실현하기 위한 다음 단계를 밟고 있습니다! 세부 사항은 하단에서 확인할 수 있습니다.

그러나 캐논은 정확히 무엇입니까?

Cannon( github )은 세계 최초의 EVM과 동등한 결함 증명 구현입니다. Cannon을 사용하면 희생 없이 L2에서 변경되지 않은 EVM을 실행할 수 있습니다 .

Cannon은 기존 롤업과 비교하여 결함 증명에 대한 새로운 접근 방식을 취하여 진정한 EVM 동등성을 달성합니다. EVM을 다시 구현하는 대신 기존 EVM 구현(geth!)을 활용합니다.

특히 최소로 수정된 go-ethereum의 하위 집합인 minigeth (JSON-RPC 없음, 작업 증명 없음)는 RISC (Reduced Instruction Set Computer )인 MIPS 로 컴파일됩니다 . RISC는 가능한 한 간단하게 설계되었습니다. Optimism에 대해 아는 것이 있다면 우리가 ❤️ 단순하다는 것을 알고 있을 것입니다. MIPS VM은 400줄 미만으로 온 체인에서 구현됩니다 ! 😍

L1의 전체 트랜잭션에 대해 EVM을 다시 실행한 이전 오류 방지 설계와 달리 Cannon은 체인에서 단일 minigeth MIPS 명령만 실행하면 됩니다. 이것은 Truebit, Arbitrum 및 Cartesi와 같은 기존 프로젝트와 유사한 접근 방식이지만 새로운 핵심 기능을 도입합니다.

Minigeth는 geth의 상태 데이터베이스를 preimage oracle 이라는 새로운¹ 프리미티브로 대체합니다 . 사전 이미지 오라클은 32바이트 해시로 쿼리할 수 있으며 해당 해시의 사전 이미지를 시스템 메모리로 반환합니다. 직관에 반하는 것처럼 들릴 수 있지만 작동합니다. 그리고 그것은 엄청나게 강력합니다.

https://twitter.com/ben_chain/status/1488275963360120832?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1488275964429672448%7Ctwgr%5E5e0d7730b906d34e6a3ac197f150ef57786d2a53%7Ctwcon%5Es2_&ref_url=https%3A%2F%2Fcdn.embedly.com%2Fwidgets%2Fmedia.html%3Ftype%3Dtext2Fhtmlkey%3Da19fcc184b9711e1b4764040d3dc5c07schema%3Dtwitterurl%3Dhttps3A%2F%2Ftwitter.com%2Fben_chain%2Fstatus%2F1488275964429672448image%3Dhttps3A%2F%2Fi.embed.ly%2F1%2Fimage3Furl3Dhttps253A252F252Fabs.twimg.com252Ferrors252Flogo46x38.png26key3Da19fcc184b9711e1b4764040d3dc5c07

이 간단한 추상화를 통해 오류 방지 프로그램은 L1 또는 L2 상태의 모든 항목 에 액세스할 수 있으며 해당 상태의 크기와 관계없이 온체인 오버헤드가 있습니다. Arbitrum의 AVM과 같은 다른 L2 구현에서는 이를 달성하기 위해 처음부터 상태 관리를 구현해야 했습니다. 그러나 geth가 사용하는 데이터베이스는 이미 해시를 사전 이미지에 매핑하기 때문에 사전 이미지 오라클은 EVM 동등성을 희생하지 않고 최소한의 코드 변경으로 이를 수행합니다.

현재 존재하는 모든 롤업은 트랜잭션 데이터를 스마트 계약에 제출하고 calldata의 해시는 상태에 저장됩니다. 이러한 오버헤드는 사용자에게 전가되어야 하는 비용을 부과합니다.

이는 오류 증명 중에 분쟁 계약에 트랜잭션에 액세스할 수 있어야 하기 때문에 필요합니다². 그러나 사전 이미지 오라클은 트랜잭션 데이터에 액세스하는 새로운 방법인 L1 블록 헤더 자체를 제공합니다.

https://twitter.com/ben_chain/status/1488275964429672448?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1488275966744928261%7Ctwgr%5Efb8874a7c959c3a06f920eb0679462e8dd60d19d%7Ctwcon%5Es2_&ref_url=https%3A%2F%2Fcdn.embedly.com%2Fwidgets%2Fmedia.html%3Ftype%3Dtext2Fhtmlkey%3Da19fcc184b9711e1b4764040d3dc5c07schema%3Dtwitterurl%3Dhttps3A%2F%2Ftwitter.com%2Fben_chain%2Fstatus%2F1488275966744928261image%3Dhttps3A%2F%2Fi.embed.ly%2F1%2Fimage3Furl3Dhttps253A252F252Fabs.twimg.com252Ferrors252Flogo46x38.png26key3Da19fcc184b9711e1b4764040d3dc5c07

트랜잭션의 온체인 처리가 필요하지 않기 때문에 코드 없이 L1 계정에 콜데이터로 게시할 수 있습니다 .

이는 L2 거래에 대해 가능한 가장 작은 L1 가스 비용을 산출합니다. 또한 calldata 압축 및 blob 트랜잭션 과 같은 다른 절약 기술과 결합하여 사용자에게 막대한 절약 효과를 제공합니다.

(일단 다 깨면!)

Cannon을 프로덕션 환경에 배치하려면 아직 갈 길이 멀습니다. 그것은 Optimism의 보안에서 중요한 역할을 할 것이며 많은 조사와 강화가 필요합니다.

오늘 우리는 Cannon 보안을 위한 다음 단계를 밟고 있습니다. 버그 바운티를 시작합니다!

이제 ImmuneFi에 버그 바운티가 열려 있습니다. 조건은 간단합니다. Cannon을 파괴할 수 있으면 $50,000를 받게 됩니다. 유명한 해커를 해킹하면 얻을 수 있는 영향력은 말할 것도 없습니다!

시작하려면 Cannon 저장소 로 바로 이동하거나 Immunefi 에서 세부 정보를 확인하십시오 . Cannon 고급 개요 와 자세한 개요 도 확인하는 것이 좋습니다 .

우리는 캐논의 초기 구현을 개척하고 그 과정에서 많은 대화를 나눈 geohot에게 큰 박수를 보내고 싶습니다. 우리를 위해 버그 바운티를 주최해 주신 Immunefi에게도 감사드립니다!

늘 그렇듯이 이더리움의 확장 가능하고 지속 가능한 미래를 구축하는 데 전념하는 유능한 옵티미스트 그룹에 합류하는 데 관심이 있다면 우리는 여러분의 의견을 듣고 싶습니다! 구인 게시판 에서 모든 채용 공고를 확인하십시오 .

[1] 처음 대포 공유를 시작했을 때 우리는 Cartesi가 이전 에 향후 작업 영역으로 "디해싱 장치"를 제안했음을 발견했습니다. 그러나 이것은 외부 블록체인 데이터를 읽기 위한 도구로 구성되었습니다. 이 방법을 L2 상태 자체에 적용하는 우리의 접근 방식의 고유한 점과 그것이 가져오는 EVM 동등성에 대한 이점입니다.

[2] 이전 각주에서 언급했듯이 Cartesi의 "dehasher"는 다른 블록체인을 읽을 수 있는 방법을 제공하기 위해 향후 작업으로 제안되었습니다. Arbitrum 백서는 또한 향후 작업으로 L1 블록을 AVM 튜플로 매핑하는 것을 제안했으며, lightclients는 이를 구현하는 다른 방법 도 제안했습니다 . 우리의 기여는 EVM 동등성을 유지하는 통합 추상화를 통해 최적의 L1 데이터 비용 과 L2 상태 액세스 비용을 달성하는 것입니다.

https://medium.com/ethereum-optimism/cannon-cannon-cannon-introducing-cannon-4ce0d9245a03

또는: geohot 해킹을 도와 $50,000 획득

오늘 우리는 공식적으로 Cannon을 세계에 소개하게 되어 매우 기쁩니다. Cannon은 Optimism의 차세대 결함 증명입니다. geohot 에 의한 초기 구현은 EVM과 동등한 L2를 실행할 수 있는 최초의 공공 결함 증명 구현이 되었습니다. 아, 그리고 이론상 최소 calldata 가스 비용 도 가능합니다 .

1일 차부터 Cannon은 다음 주요 릴리스인 Optimism: Bedrock을 염두에 두고 제작되었습니다. Cannon은 앞으로 몇 년 동안 Optimism의 기초가 될 것입니다.

오늘 우리는 최대 $250,000 상금의 버그 바운티를 시작하여 Cannon의 약속을 실현하기 위한 다음 단계를 밟고 있습니다! 세부 사항은 하단에서 확인할 수 있습니다.

그러나 캐논은 정확히 무엇입니까?

Cannon( github )은 세계 최초의 EVM과 동등한 결함 증명 구현입니다. Cannon을 사용하면 희생 없이 L2에서 변경되지 않은 EVM을 실행할 수 있습니다 .

Cannon은 기존 롤업과 비교하여 결함 증명에 대한 새로운 접근 방식을 취하여 진정한 EVM 동등성을 달성합니다. EVM을 다시 구현하는 대신 기존 EVM 구현(geth!)을 활용합니다.

특히 최소로 수정된 go-ethereum의 하위 집합인 minigeth (JSON-RPC 없음, 작업 증명 없음)는 RISC (Reduced Instruction Set Computer )인 MIPS 로 컴파일됩니다 . RISC는 가능한 한 간단하게 설계되었습니다. Optimism에 대해 아는 것이 있다면 우리가 ❤️ 단순하다는 것을 알고 있을 것입니다. MIPS VM은 400줄 미만으로 온 체인에서 구현됩니다 ! 😍

L1의 전체 트랜잭션에 대해 EVM을 다시 실행한 이전 오류 방지 설계와 달리 Cannon은 체인에서 단일 minigeth MIPS 명령만 실행하면 됩니다. 이것은 Truebit, Arbitrum 및 Cartesi와 같은 기존 프로젝트와 유사한 접근 방식이지만 새로운 핵심 기능을 도입합니다.

Minigeth는 geth의 상태 데이터베이스를 preimage oracle 이라는 새로운¹ 프리미티브로 대체합니다 . 사전 이미지 오라클은 32바이트 해시로 쿼리할 수 있으며 해당 해시의 사전 이미지를 시스템 메모리로 반환합니다. 직관에 반하는 것처럼 들릴 수 있지만 작동합니다. 그리고 그것은 엄청나게 강력합니다.

https://twitter.com/ben_chain/status/1488275963360120832?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1488275964429672448%7Ctwgr%5E5e0d7730b906d34e6a3ac197f150ef57786d2a53%7Ctwcon%5Es2_&ref_url=https%3A%2F%2Fcdn.embedly.com%2Fwidgets%2Fmedia.html%3Ftype%3Dtext2Fhtmlkey%3Da19fcc184b9711e1b4764040d3dc5c07schema%3Dtwitterurl%3Dhttps3A%2F%2Ftwitter.com%2Fben_chain%2Fstatus%2F1488275964429672448image%3Dhttps3A%2F%2Fi.embed.ly%2F1%2Fimage3Furl3Dhttps253A252F252Fabs.twimg.com252Ferrors252Flogo46x38.png26key3Da19fcc184b9711e1b4764040d3dc5c07

이 간단한 추상화를 통해 오류 방지 프로그램은 L1 또는 L2 상태의 모든 항목 에 액세스할 수 있으며 해당 상태의 크기와 관계없이 온체인 오버헤드가 있습니다. Arbitrum의 AVM과 같은 다른 L2 구현에서는 이를 달성하기 위해 처음부터 상태 관리를 구현해야 했습니다. 그러나 geth가 사용하는 데이터베이스는 이미 해시를 사전 이미지에 매핑하기 때문에 사전 이미지 오라클은 EVM 동등성을 희생하지 않고 최소한의 코드 변경으로 이를 수행합니다.

현재 존재하는 모든 롤업은 트랜잭션 데이터를 스마트 계약에 제출하고 calldata의 해시는 상태에 저장됩니다. 이러한 오버헤드는 사용자에게 전가되어야 하는 비용을 부과합니다.

이는 오류 증명 중에 분쟁 계약에 트랜잭션에 액세스할 수 있어야 하기 때문에 필요합니다². 그러나 사전 이미지 오라클은 트랜잭션 데이터에 액세스하는 새로운 방법인 L1 블록 헤더 자체를 제공합니다.

https://twitter.com/ben_chain/status/1488275964429672448?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1488275966744928261%7Ctwgr%5Efb8874a7c959c3a06f920eb0679462e8dd60d19d%7Ctwcon%5Es2_&ref_url=https%3A%2F%2Fcdn.embedly.com%2Fwidgets%2Fmedia.html%3Ftype%3Dtext2Fhtmlkey%3Da19fcc184b9711e1b4764040d3dc5c07schema%3Dtwitterurl%3Dhttps3A%2F%2Ftwitter.com%2Fben_chain%2Fstatus%2F1488275966744928261image%3Dhttps3A%2F%2Fi.embed.ly%2F1%2Fimage3Furl3Dhttps253A252F252Fabs.twimg.com252Ferrors252Flogo46x38.png26key3Da19fcc184b9711e1b4764040d3dc5c07

트랜잭션의 온체인 처리가 필요하지 않기 때문에 코드 없이 L1 계정에 콜데이터로 게시할 수 있습니다 .

이는 L2 거래에 대해 가능한 가장 작은 L1 가스 비용을 산출합니다. 또한 calldata 압축 및 blob 트랜잭션 과 같은 다른 절약 기술과 결합하여 사용자에게 막대한 절약 효과를 제공합니다.

(일단 다 깨면!)

Cannon을 프로덕션 환경에 배치하려면 아직 갈 길이 멀습니다. 그것은 Optimism의 보안에서 중요한 역할을 할 것이며 많은 조사와 강화가 필요합니다.

오늘 우리는 Cannon 보안을 위한 다음 단계를 밟고 있습니다. 버그 바운티를 시작합니다!

이제 ImmuneFi에 버그 바운티가 열려 있습니다. 조건은 간단합니다. Cannon을 파괴할 수 있으면 $50,000를 받게 됩니다. 유명한 해커를 해킹하면 얻을 수 있는 영향력은 말할 것도 없습니다!

시작하려면 Cannon 저장소 로 바로 이동하거나 Immunefi 에서 세부 정보를 확인하십시오 . Cannon 고급 개요 와 자세한 개요 도 확인하는 것이 좋습니다 .

우리는 캐논의 초기 구현을 개척하고 그 과정에서 많은 대화를 나눈 geohot에게 큰 박수를 보내고 싶습니다. 우리를 위해 버그 바운티를 주최해 주신 Immunefi에게도 감사드립니다!

늘 그렇듯이 이더리움의 확장 가능하고 지속 가능한 미래를 구축하는 데 전념하는 유능한 옵티미스트 그룹에 합류하는 데 관심이 있다면 우리는 여러분의 의견을 듣고 싶습니다! 구인 게시판 에서 모든 채용 공고를 확인하십시오 .

[1] 처음 대포 공유를 시작했을 때 우리는 Cartesi가 이전 에 향후 작업 영역으로 "디해싱 장치"를 제안했음을 발견했습니다. 그러나 이것은 외부 블록체인 데이터를 읽기 위한 도구로 구성되었습니다. 이 방법을 L2 상태 자체에 적용하는 우리의 접근 방식의 고유한 점과 그것이 가져오는 EVM 동등성에 대한 이점입니다.

[2] 이전 각주에서 언급했듯이 Cartesi의 "dehasher"는 다른 블록체인을 읽을 수 있는 방법을 제공하기 위해 향후 작업으로 제안되었습니다. Arbitrum 백서는 또한 향후 작업으로 L1 블록을 AVM 튜플로 매핑하는 것을 제안했으며, lightclients는 이를 구현하는 다른 방법 도 제안했습니다 . 우리의 기여는 EVM 동등성을 유지하는 통합 추상화를 통해 최적의 L1 데이터 비용 과 L2 상태 액세스 비용을 달성하는 것입니다.

https://medium.com/ethereum-optimism/cannon-cannon-cannon-introducing-cannon-4ce0d9245a03