카이로

ChainCatcher 메시지, OKX Ventures가 Kakarot에 투자한다고 발표했습니다. Kakarot은 튜링 완전 프로그래밍 언어인 Cairo로 작성된 2.5 클래스 ZkEVM으로, 현재 첫 번째 테스트 네트워크를 시작하고 있으며, 이 네트워크는 이더리움의 L2 또는 StarkNet의 L3로 운영될 예정입니다. 이 초기 단계 이후, Kakarot은 1 클래스 ZkEVM이 될 계획이며, 이를 통해 모든 L1 노드가 Stark Proofs를 생성할 수 있게 됩니다. 또한, Kakarot은 현재 다른 ZKP, 계정 추상화 및 확장 솔루션을 탐색하여 Web3 공간의 성장과 탄력성을 촉진하고 있습니다.OKX Ventures의 창립자 Dora는 "Kakarot은 Starknet 위에 구축되어 혁신적인 언어 개발 형식을 사용하여 Starknet 네트워크가 EVM과 호환되지 않는 문제를 해결하여 이더리움 생태계가 Starknet에서 번영할 수 있도록 합니다."라고 말했습니다.

ChainCatcher 메시지에 따르면, Starknet은 소셜 미디어에서 Cairo V2.3.0이 후보 릴리스에서 공식 릴리스로 전환되었다고 발표했습니다. 새로운 버전에는 성능 개선, 버그 수정 및 구성 요소 의존성 처리를 돕는 새로운 인라인 매크로가 포함되어 있습니다.이전 소식에 따르면, Starknet은 프로그래밍 언어 Cairo V2.3.0 버전에서 구성 요소(component)를 도입했다고 발표했습니다.

ChainCatcher 메시지, StarkWare는 오늘 프로그래밍 언어 Cairo의 로드맵을 발표했습니다. Cairo는 곧 V2 버전을 출시할 예정이며, 프로젝트 측은 Starknet alpha v0.12.0과 함께 새로운 계약 구문을 발표할 것으로 예상하고 있습니다.StarkWare는 Cairo가 이제 복잡한 애플리케이션을 지원할 만큼 충분히 안정적이고 풍부하며, 기존의 Cairo 0 논리를 이식할 수 있다고 밝혔습니다. 또한, Starknet의 하위 호환성 보장은 언어에 중대한 변화가 있더라도 사용자에게 계약 개발 또는 검토 및 배포를 완료할 충분한 시간(최소 6개월)을 제공할 것이라고 합니다.（출처 링크）

ChainCatcher 메시지, 원스톱 Web3.0 보안 개발 환경이자 개발자 플랫폼 Hamster가 Layer2 네트워크 StarkNet에 대한 전면 통합 및 호환성을 발표했습니다. 현재까지 Hamster는 Cario 언어 기반의 여러 계약 템플릿을 성공적으로 통합하였으며, StarkNet 네트워크의 원스톱 노드 배포 RPC 서비스를 개방하였습니다. 동시에 Hamster 팀은 ZK Rollup을 위한 개발 솔루션을 적극 개발하고 있으며, ZK Solution을 모듈화하고 도구화하여 개발자들이 빠르게 시작하고 접속할 수 있도록 돕고 있습니다. 원스톱 개발자 플랫폼 인프라로서 Hamster의 StarkNet 네트워크에 대한 전면 통합 및 호환성은 개발자들이 StarkNet 네트워크 개발에 진입하는 장벽을 크게 낮추고, 생태계의 번영을 지원할 것입니다.（출처 링크）

ChainCatcher 메시지, StarkNet은 Cairo 1.0-alpha.2 버전을 출시했다고 발표했습니다. 새로운 기능으로는: 사전, 계약 내 이벤트, 매핑 저장 변수, 특성 지원, 타입 추론 및 메소드가 포함됩니다.현재 팀은 Cairo 1.0을 이전의 Cairo와 완전히 호환되도록 만들기 위해 노력하고 있으며, Cairo 1.0에서 계약을 작성할 수 있도록 지원하는 StarkNet v0.11.0을 개발하고 있습니다.（출처 링크）

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

ChainCatcher 메시지에 따르면, 제로 지식 증명 기술 개발 회사 StarkWare가 트위터에서 STARK 증명 시스템 언어인 Cairo로 ZK-EVM을 완성했다고 발표했으며, 내일 이더리움 공동 창립자 Vitalik Buterin, ZK-STARK 공동 발명자 Eli Ben-Sasson, StarkWare 멤버 Shahar Papini 등을 초대하여 Twitter Space를 진행할 예정입니다. 알려진 바에 따르면, Cairo는 튜링 완전한 제로 지식 증명 시스템 언어로, 아직 초기 개발 단계에 있습니다.（출처 링크）

ChainCatcher 메시지, 이더리움 Layer 2 개발 회사 StarkWare의 사장 Eli Ben-Sasson은 그들이 개발 중인 L2 확장 솔루션 StarkEx와 StarkNet이 두 가지 중요한 이정표를 맞이할 것이라고 밝혔습니다: 첫째, StarkNet의 원주율 스마트 계약 언어 업그레이드 버전인 Cairo 1.0이 출시될 예정이며, 이 언어는 현재 개발이 완료되었고 2022년 말까지 출시될 것으로 예상됩니다; 이후, 해당 팀은 "Regensis"라는 이더리움 메인넷에서 StarkNet을 재출시할 예정이며, 이는 네트워크의 DoS 공격 보호 능력을 향상시키고 가스 비용을 줄이는 것을 목표로 하고 있습니다.또한, Eli Ben-Sasson은 원래 9월로 예정되었던 원주율 토큰 발행 계획이 연기되었다고 밝혔습니다. 그들은 Solidity 계약에 대해 더 나은 결과를 원하기 때문에 StarkWare의 원주율 토큰은 10월 내에 블록체인에 올라갈 것입니다. 그러나 Eli Ben-Sasson은 초기 단계에서 사용자에게 무료 토큰을 제공하지 않을 것이라고 강조하며, 모든 토큰은 출시 후 즉시 잠금 처리될 것이라고 말했습니다.Eli Ben-Sasson은 또한 StarkWare가 곧 재단을 설립하고 그 재단이 토큰 배포 및 분배를 담당할 것이라고 밝혔습니다.（Decrypt）