Microsoft, VeriSol : 이더 리움 스마트 계약 확인을위한 새로운 도구 발표
6 월 3 일 Microsoft Research 팀은 새로운 검증 도구 이더 리움 네트워크의 주요 프로그래밍 언어 인 Solidity로 작성된 스마트 계약 보안을 위해.
그 도구는 VeriSol, 기술 대기업의 혁신 부문 인 Microsoft Research와 기업과 기관이 자체 블록 체인 애플리케이션을 쉽게 구축 할 수 있도록 지원하는 것을 목표로하는 회사의 클라우드 컴퓨팅 부문 인 Microsoft Azure Blockchain 간의 공동 작업으로 제작되었습니다..
특히, Azure Blockchain은 Solidity 분석기를 활용하여 자체 기관 고객의 제품을 지원하므로이 도구는 암호화 경제에 대한 호의적 기여 만은 아닙니다 (오픈 소스 임). 팀의 선임 소프트웨어 엔지니어 인 Cody Born은 뉴스에서 다음과 같이 설명했습니다.
“VeriSol을 사용하면 자동 및 지속적인 검사 덕분에 더 빠르게 반복 할 수 있으며 잠재적으로 고객에게 영향을 미칠 가능성에 대해 걱정할 필요없이 버그를 더 빨리 포착 할 수 있습니다.”
스마트 계약은 일단 라이브 상태가되면 즉시 편집 할 수 없으므로 Ethereum 메인 넷에서 활성화하기 전에 코드를 꼼꼼하게 검토하는 것이 중요합니다. 그렇지 않으면 버그로 인해 실질적인 경제적 결과를 초래할 수 있습니다..
4 월, DAIHard라는 Dai stablecoin의 법정 화폐 램프가 베타 출시를 수행했지만 버그로 인해 화이트 햇 해커가 더 악의적 인 에이전트가되기 전에 계약을 비 웠습니다. 따라서 VeriSol의 아이디어는 이러한 Solidity 불일치를 문제가 발생하기 전에가 아니라 이전에 신속하고 효율적으로 포착하는 것입니다..
Microsoft, 블록 체인 수용
VeriSol의 발표는 최근에 Microsoft 에코 시스템에 채택 된 여러 유명 블록 체인의 뒤를이었습니다..
이달 만에 회사 또는 여러 부서에서 널리 사용되는 Microsoft Excel 스프레드 시트 시스템에 비트 코인 유니 코드 기호를 추가했습니다. 비트 코인 위에 구축 된 분산 형 ID 프로젝트를 공개했습니다. JP Morgan의 Ethereum 허용 포크 인 Quorum에 대한 Azure Blockchain 지원을 발표했습니다..
실제로 더 넓은 블록 체인 공간에서 이해 관계자로서의 Microsoft의 입지는 커지고 있으며 오픈 소스 VeriSol과 같은 도구는 이제 직접적인 범위를 넘어서는 프로젝트의 성장에도 도움이 될 것입니다. 이를 위해 Microsoft 수석 연구원 Shuvendu Lahiri는 검증 자에 대해 다음과 같이 언급했습니다.
“우리는 Azure Blockchain 개발자 및 고객에게 권한을 부여 할뿐만 아니라 더 안전한 전체 블록 체인 생태계에 기여하고 사람들이 스마트 계약의 값 비싼 실수에 시달리지 않고 기술의 모든 잠재력을 실현하도록 돕고 자합니다.”
따라서 스마트 계약 기술, 특히 현재까지 가장 큰 스마트 계약 플랫폼 인 이더 리움 주변의 활동과 공공 인프라는 꾸준히 꽃을 피우고 있습니다..
아아, 마이크로 소프트가 이더 리움을 중심으로 한 무료 기술을 공개하는 유일한 업계 거물은 아닙니다. “Big Four”회계 강국 EY는 며칠 전 Nightfall 개인 정보 보호 도구를 출시했습니다..
견고성 101
Ethereum의 공동 설립자 인 Gavin Wood가 2014 년에 처음 개괄 한 Solidity는 결국 Christian Reitwiessner가 이끄는 Ethereum 개발자 그룹에 의해 구축되었습니다..
이 언어는 JavaScript, Python 및 C ++와 같은 다른 인기 있고 주류 프로그래밍 언어의 측면에서 느슨하게 영감을 받았습니다. 그렇기 때문에 Solidity를 배우는 데 관심이있는 프로그래밍을 처음 접하는 사람들은 영향력있는 사람 중 하나를 시작점으로 삼는 것이 좋습니다..
Solidity의 문서에 따르면 언어는 기본적으로 다음과 같이 계약을 작성합니다.
“솔리 디티의 의미에서 계약은 이더 리움 블록 체인의 특정 주소에있는 코드 (기능) 및 데이터 (상태)의 모음입니다.”
따라서 Solidity는 개발자에게 “이더 리움 상태 내에서 계정의 동작을 관리”할 수있는 기능을 제공합니다..
솔리 디티를 더 돌리고 싶은 사람들은 Andreas Antonopoulos와 Gavin Wood의 설명 텍스트 Mastering Ethereum을 살펴 보거나 초보자가 좀비 기반 게임을 언어로 코딩하는 방법을 배울 수있는 무료 교육 리소스 인 CryptoZombies에 가입 할 수 있습니다..
물론 일찍 일어나는 새는 벌레를 잡습니다. Ethereum이 이미 지금까지 얻은 모멘텀에 따라 Solidity는 앞으로 수십 년 동안있을 것으로 보입니다..