Certora의 정식 확인 서비스는 Ethereum 프로그래밍 언어 Vyper를 지원합니다
8월 15일자 뉴스에 따르면 스마트 계약 보안 분석 프로젝트 Certora의 정식 검증 서비스는 이더리움 프로그래밍 언어 Vyper를 지원하여 스마트 계약 개발자가 코드 배포 후 감사 전에 오류를 감지할 수 있도록 했습니다.
더 샌드박스, LAND 크로스체인 서비스 재출시
더 샌드박스는 지난 7월 31일 크로스체인 기능을 비활성화했다가 LAND 크로스체인 서비스를 다시 시작했다. 더 샌드박스는 LAND 스마트 컨트랙트와 LAND 크로스체인 컨트랙트의 유지 보수 및 업데이트가 완료되었다고 밝혔습니다. .
사이퍼 프로토콜, 공격으로 100만 달러 손실
솔라나에 기반을 둔 분산형 선물 거래소 사이퍼 프로토콜(Cypher Protocol)은 약 100만 달러의 피해를 입은 공격 이후 스마트 계약을 중단했습니다. 솔라나 블록체인 탐험가 솔스캔에 따르면 공격에 연루된 것으로 추정되는 지갑은 약 38,530개의 솔라나(SOL) 토큰과 12만3184달러의 USD코인(USDC)을 훔쳐 총 103만5203달러의 불법 자금을 훔쳤다. 공격 후 몇 시간 내에 지갑은 도난당한 자금을 현금화하기 위해 30,000 USDC를 바이낸스의 솔라나 USDC 주소인 "kiing.sol"로 전송했습니다. 사이퍼 프로토콜은 공격 원인을 조사 중이며, 도난당한 자금의 반환을 논의하기 위해 해커에게 연락했습니다.
Lexon, 스마트 계약을 Solidity, Sophia 또는 Javascript로 변환하는 컴파일러 출시
Cointime 뉴스: 스마트 계약 컴퓨터 언어 Lexon(LEX)은 8월 3일 컴파일러를 출시하여 개발자가 Lexon을 사용하여 계약을 작성하고 이를 Solidity, Sophia 또는 Javascript로 변환할 수 있도록 했습니다. 컴파일러는 Aeternity(AE) 블록체인 네트워크에서 실행되며 각 컴파일 주기에 대한 지불로 LEX 토큰을 받습니다. Lexon은 일반적인 문어나 구어처럼 보이도록 설계된 컴퓨터 언어입니다.
로우코드 블록체인 프로그래밍 도구 SettleMint, 시리즈 A 펀딩에서 1,600만 유로 확보
로우코드 블록체인 프로그래밍 도구인 SettleMint는 최근 플랫폼에 AI 도우미를 추가했습니다. SettleMint가 1,600만 유로 규모의 시리즈 A 펀딩 라운드를 발표한 지 약 9개월 만에 출시된 AI 어시스턴트는 개발자가 스마트 계약을 생성하고 데이터를 통합하며 품질 보증(QA) 테스트를 강화할 수 있도록 지원합니다. SettleMint는 인간을 대신할 AI 도우미를 만드는 것이 아니라 AI가 스마트 계약 작성을 도울 수 있지만 그 진정한 가치는 각 코드 줄의 의미를 설명하는 데 있습니다. SettleMint는 주로 OpenAI의 GPT-4를 사용하여 AI 비서를 교육하고 최신 블록체인 개발에 대한 정보를 제공합니다. SettleMint는 일본 전자제품 대기업 Fujitsu의 자금 지원을 받아 아시아에 꾸준히 진출하고 있습니다.
블록체인 기술 기업 컨센시스(ConsenSys), 스마트 컨트랙트 테스팅 툴 '딜리전스 퍼징(Diligence Fuzzing)' 출시
8월 1일 발표에 따르면 블록체인 기술 회사인 ConsenSys는 스마트 계약 테스트 도구인 "Diligence Fuzzing"을 공개적으로 발표했습니다. 새로운 도구는 계약이 해제되기 전에 취약점을 발견하기 위해 "무작위 및 유효하지 않은 데이터 포인트"를 생성할 수 있습니다. 2022년 탈중앙화 금융 해킹 비용은 28억 달러가 넘습니다. ConsenSys에 따르면 이러한 손실로 인해 개발자는 공격자보다 먼저 취약점을 찾는 데 도움이 되는 보다 정교한 테스트 도구를 채택하고 있습니다. 이 새로운 도구는 비공개 베타 버전으로 제공되었으며 개발자는 액세스 권한이 필요했습니다. 8월 1일부터 이 라이선스 프로세스는 더 이상 필요하지 않습니다. Diligence Fuzzing은 이제 스마트 계약 도구인 Foundry와 통합되어 개발자가 테스트할 수 있는 무료 버전을 제공합니다.
스마트 계약이 전통적인 금융 기관 및 명목 화폐와 작동하는 방식에는 근본적인 변화가 필요합니다
스마트 계약은 블록체인과 암호화폐의 판도를 바꾸었지만, 이것이 유일한 해결책은 아닙니다. 과도한 광신은 기술 정체와 실패로 이어질 수 있습니다. 스마트 계약은 전통적인 금융 기관 및 명목 화폐와 함께 작동해야 하지만 보안 및 개인 정보 위험을 완화해야 합니다. 암호 화폐의 미래는 법정 화폐 상호 운용성과 접근 용이성을 위해 전통적인 금융과의 대화가 필요합니다.
XRP Layer 2 플랫폼 Evernode 업데이트 진행, 8월 중순 Hooks V3 테스트넷 검토 예정
XRP Ledger 생태계의 레이어 2 플랫폼인 Evernode가 진행 상황에 대한 업데이트를 발표했습니다. 이 플랫폼은 Hooks를 통해 생태계에 스마트 계약을 도입하고 8월 중순에 Hooks V3 테스트넷의 검토를 잠정적으로 시작할 예정입니다. 그러나 Evernode는 여전히 Ripple의 문서 및 자금 지원 확인을 기다리고 있습니다. XRP 커뮤니티는 Evernode의 출시를 간절히 기다리고 있습니다. Evernode는 프로토콜 출시 후 XRP 보유자에게 제안된 기본 토큰인 Evers를 에어드롭할 계획입니다.
스마트 컨트랙트 산업은 2023년 2분기에 회복력이 있으며 암호화폐 시장의 자금 조달은 부진합니다
2023년 2분기에 암호화폐 시장에서 자금 조달이 가장 낮았지만 스마트 계약 산업은 여전히 탄력적이었습니다. BNB 체인은 검증된 스마트 계약의 수가 증가했으며 이는 블록체인 기반 솔루션에 대한 수요가 증가하고 있음을 나타냅니다. 이 보고서는 2계층 솔루션이 계속 홍보되고 스마트 계약 보안이 초점이 되며 규제 조사도 증가할 것으로 예상합니다. 경영진은 벤처 캐피탈 회사의 투자 감소에도 불구하고 암호화 공간의 장기적인 전망에 대해 낙관적입니다.
