컴파일러

CryptoBriefing에 따르면, TheDAO Security Fund의 ETHSecurity Initiatives 두 번째 라운드 지원이 시작되었으며, Vyper 컴파일러의 형식 검증을 위해 60만 달러가 배정되었습니다. Vyper는 Curve, Yearn, Lido 등의 프로토콜의 스마트 계약 언어입니다.이 기금은 2016년 DAO 사건에서 미청구된 ETH 전환 스테이킹 자금에서 유래되었으며, 이더리움 재단은 공개적으로 지원 의사를 밝혔습니다.

Vitalik이 X 플랫폼에 글을 올리며 새로운 Solidity 컴파일러가 출시되었다고 밝혔다.전해진 바에 따르면, 새로운 버전은 10분에 달하는 Solidity 컴파일 과정을 더 이상 기다리기 싫어 Zig를 사용하여 oksolc를 구축하였으며, 생성된 바이트코드를 일관되게 유지하면서 일부 계약의 컴파일 속도가 5배 이상 향상되었다. 구축 시간은 10분에서 2분으로 단축되었고, 대형 프로젝트의 증분 컴파일 시간은 700초에서 99초로 줄어들었다.

ChainCatcher 메시지, Paradigm이 REVM 컴파일러 Revmc를 발표했습니다.Paradigm은 최근 Reth의 고성능 로드맵을 발표하며 "초당 가스 양"을 EVM 블록체인의 성능 지표로 더 널리 사용하자고 촉구했으며, 블록체인을 초당 1GB 이상으로 확장할 계획을 자세히 설명했습니다. 이는 이더리움 현상보다 1000배 향상된 것입니다.Paradigm은 EVM 바이트코드를 네이티브 코드로 변환하는 컴파일러인 오픈소스 Revmc를 공개했으며, 다양한 실제 EVM 벤치마크 테스트에서 1.85배에서 19배까지의 개선을 보여주었습니다. 또한 Reth에 Revmc를 통합하여 체인을 성공적으로 동기화했습니다. 다음으로, OP Reth에 Revmc를 통합하여 L2에서 사용할 예정이며, 그 개선은 계산 집약적인 작업 부하에서 효과를 발휘할 것입니다.

ChainCatcher 메시지, Starknet가 새로운 버전 Cairo v2.5.0을 발표했습니다. 이 버전은 고급 컴파일러(Cairo에서 Sierra로)의 변화만 포함되어 있으므로 Starknet 테스트넷과 메인넷에 즉시 배포할 수 있습니다.전해진 바에 따르면, 이 버전은 Sierra의 다양한 기능을 도입하여 매칭 표현식에 존재하는 많은 제한을 제거하고, 더 친숙한 루프 구문을 도입하며, pub 개념 등을 추가했습니다.

ChainCatcher 메시지, Aptos Labs는 스마트 계약 언어 Move를 위한 새로운 컴파일러 Aptos Move Compiler를 개발하고 있다고 발표했습니다. 이 컴파일러는 원래 Move 언어 설계의 공백을 메우는 새로운 언어 기능을 추가할 것이며, 안전성에는 영향을 미치지 않습니다.곧 출시될 중요한 기능에는 수신자 스타일의 함수 호출, 일반 고차 함수 지원, 개발자가 사용자 정의 기능을 정의할 수 있는 기능, 자원 접근 제어, 전역 참조 반환, 열거형(Enum)에 대한 완전한 지원 추가 등이 포함됩니다.

ChainCatcher 메시지, EthStorage가 Hyper Oracle 및 Delphinus Lab과 협력하여 zkGo 컴파일러를 출시했습니다. Go의 최신 버전 1.21.0을 기반으로 하여, zkGo는 일반 Go 코드를 ZK 프로토콜과 호환되는 Wasm 코드로 컴파일하는 최초의 도구입니다. 생성된 Wasm 코드는 이미 Delphinus Lab의 zkWasm 도구를 통해 제로 지식 증명 및 체인 상 검증을 수행할 수 있습니다.zkGo의 중요한 응용 프로그램으로서, zkGo는 이미 Optimism의 Fraud Proof의 L2 Geth(또는 op-program-client)를 성공적으로 컴파일하여 ZK 프로토콜과 호환되는 Wasm 코드를 생성했습니다. 현재 Wasm 코드는 zkWasm의 시험 증명(dry run)을 통과하였으며, 향후 ZK Fraud Proof 기술을 구현하기 위한 중요한 단계를 완료했습니다.

ChainCatcher 메시지, Curve 메커니즘을 채택한 BNB Chain 생태 DEX Ellipsis Finance가 트윗을 통해, 소수의 구 버전 Vyper 컴파일러를 사용하는 BNB 안정 풀에 공격이 발생했으며, 현재 상황을 평가하고 있다고 전했습니다.이전 메시지에 따르면, Curve Finance는 Vyper 재귀 잠금 결함으로 인해 안정화 코인 풀 alETH/msETH/pETH가 공격을 받았다고 밝혔습니다. 보안 기관의 모니터링에 따르면, Curve Finance 공격 사건으로 인해 5200만 달러의 손실이 발생했습니다.

ChainCatcher 메시지, Solana Labs가 Solidity 언어로 스마트 계약을 작성할 수 있는 컴파일러 Solang을 출시했습니다.전해진 바에 따르면, 그 특징으로는 이더리움 Solidity 0.8과의 호환성, 다른 Solana 스마트 계약 호출 가능, Solana SPL 토큰 지원 등이 있습니다.（출처 링크）

ChainCatcher 메시지, 이더리움 프로그래밍 언어 Solidity에서 Solidity 컴파일러 0.8.20 버전을 출시했습니다. 최신 버전은 via-IR 파이프라인에 대한 일련의 개선 사항을 포함하고 있으며, 계약 ABI에서 공개된 이벤트 목록을 개선하고 상하이 하드 포크 업그레이드를 지원합니다. 이 컴파일러는 기본 목표 EVM 버전을 상하이 버전으로 전환합니다.（출처 링크）

ChainCatcher 메시지, 이더리움 프로그래밍 언어 Solidity에서 Solidity 컴파일러 0.8.19 버전을 출시했습니다. 최신 버전에는 일련의 개선 사항이 포함되어 있으며, 사용자 정의 값 유형 정의 연산자를 도입하여 런타임 바이트코드의 죽은 코드를 방지합니다. @sifislag이 보고한 내부 라이브러리 함수와 모듈 호출을 통한 자유 함수의 문제는 이 버전에서 수정되었습니다. 팀은 0.8.0 이하의 Solidity 버전을 사용하는 사용자에게 업그레이드를 권장합니다.（출처 링크）

ChainCatcher 메시지, 이더리움 모듈화 실행 레이어 Fuel 개발자 Fuel Labs는 2023년에 구현될 Sway 언어 업그레이드 내용을 발표했습니다. 여기에는 바이트코드 크기 측면의 컴파일러 최적화, Sway가 더 많은 백엔드를 지원할 것(현재 EVM 백엔드 개발 중), 추상화가 더욱 경제적이 될 것, 더 많은 애플리케이션이 Solidity/Vyper에서 Sway로 이전할 것, 개선된 컴파일러 수준의 재진입 분석 등이 포함됩니다.（출처 링크）

ChainCatcher 메시지, 보안 회사 Dedaub 팀이 이더리움 프로그래밍 언어 Solidity 컴파일러의 취약점을 발견하여 배포된 계약의 바이트코드에 죽은 코드(dead code)가 포함되어 있어 스마트 계약을 배포하고 운영할 때 가스 비용이 크게 증가한다고 밝혔습니다. Dedaub는 팀이 오픈 소스 이진 분기기 Gigahorse를 평가하는 과정에서 이 오류를 발견했다고 전했습니다. 라이브러리 메서드가 계약의 생성자에 의해서만 호출될 때 이 취약점이 발생합니다.Gigahorse 분석을 통해 Dedaub는 최소 35%의 계약에서 일부 죽은 코드가 존재하며, 그 중 33%가 실행되는 대부분의 바이트코드를 차지하고 있음을 발견했습니다. 이러한 결과는 NFT 프록시가 주도하지만, 다른 프록시 계약에서도 동일한 문제가 발생하고 있습니다. 대형 계약의 경우 이 문제는 무시될 수 있지만, 대부분의 배포된 계약은 소형 계약입니다. Dedaub 팀은 작년 11월에 이미 이 오류를 발견하고 Solidity 팀에 해당 문제를 확인할 것을 경고했습니다.（출처 링크）

ChainCatcher 메시지, 이더리움 프로그래밍 언어 Solidity의 최신 버전인 Solidity 0.8.18 컴파일러가 출시되었습니다. 새 버전의 기능은 다음과 같습니다: CBOR 메타데이터 비활성화, 파리 하드포크 지원, selfdestruct 사용 중단, Yul에서 EVM 바이트코드 생성. 팀은 모든 Solidity 개발자에게 이러한 개선 및 최적화를 활용하기 위해 버전 0.8.18로 업그레이드할 것을 권장합니다.（출처 링크）

ChainCatcher 메시지, StarkWare는 StarkNet 스택 오픈 소스의 첫 번째 단계로 프로그래밍 언어 Cairo 1.0을 오픈 소스화한다고 발표했습니다. StarkNet은 아직 Cairo 1.0을 지원하지 않으며, 내년 1분기에 지원할 예정입니다. Cairo 1.0 컴파일러의 첫 번째 버전은 내년 1분기 초에 출시될 계획이며, Cairo 1.0에서 StarkNet의 모든 기존 기능을 지원하는 데 중점을 두고 있으며, Cairo 1.0 컴파일러 기능도 확장하고 있습니다.（출처 링크）