Microsoft công bố VeriSol: Công cụ mới để xác minh hợp đồng thông minh Ethereum

Microsoft

Vào ngày 3 tháng 6, nhóm Nghiên cứu của Microsoft đã công bố một công cụ xác minh để đảm bảo các hợp đồng thông minh được viết bằng Solidity, ngôn ngữ lập trình chủ yếu của mạng Ethereum.

Công cụ đó, được gọi là VeriSol, được sản xuất trong nỗ lực hợp tác giữa Microsoft Research, chi nhánh đổi mới của gã khổng lồ công nghệ và Microsoft Azure Blockchain, chi nhánh điện toán đám mây của công ty nhằm giúp các doanh nghiệp và tổ chức dễ dàng xây dựng các ứng dụng blockchain của riêng họ.

Microsoft

Đáng chú ý, công cụ này không chỉ đơn thuần là một đóng góp thiện chí cho nền kinh tế tiền điện tử (mặc dù nó có nguồn mở), vì Azure Blockchain sẽ tận dụng bộ phân tích Solidity để giúp các sản phẩm của khách hàng tổ chức của riêng họ. Như Kỹ sư phần mềm cao cấp của nhóm Cody Born đã giải thích về tin tức:

“VeriSol cho phép chúng tôi lặp lại nhanh hơn nhờ việc kiểm tra tự động và liên tục, đồng thời nó cho phép chúng tôi bắt lỗi nhanh hơn mà không phải lo lắng về việc có thể ảnh hưởng đến khách hàng.”

Các hợp đồng thông minh không thể được chỉnh sửa nhanh chóng khi chúng đang hoạt động, vì vậy điều quan trọng là phải xem xét tỉ mỉ mã của chúng trước khi kích hoạt chúng trên mạng chính Ethereum – nếu không, lỗi có thể gây ra thảm họa với những hậu quả kinh tế rõ ràng.

Tháng 4, một đường dốc tiền điện tử fiat cho đồng ổn định Dai có tên là DAIHard đã tiến hành khởi chạy phiên bản beta của nó, nhưng do lỗi, một hacker trắng đã rút hết các hợp đồng trước khi một tác nhân độc hại hơn có thể. Theo đó, ý tưởng với VeriSol là nhanh chóng và hiệu quả nắm bắt những khác biệt về Solidity như vậy trước, chứ không phải sau khi chúng gây ra vấn đề.

Microsoft Embraces Blockchain

Thông báo của VeriSol được đưa ra sau một số chuỗi khối cao cấp bao trùm trong hệ sinh thái của Microsoft vào cuối năm.

#Crypto ExchangeBenefits

1

Binance
Best exchange


VISIT SITE
  • ? The worlds biggest bitcoin exchange and altcoin crypto exchange in the world by volume.
  • Binance provides a crypto wallet for its traders, where they can store their electronic funds.

2

Coinbase
Ideal for newbies


Visit SITE
  • Coinbase is the largest U.S.-based cryptocurrency exchange, trading more than 30 cryptocurrencies.
  • Very high liquidity
  • Extremely simple user interface

3

eToro
Crypto + Trading

VISIT SITE
  • Multi-Asset Platform. Stocks, crypto, indices
  • eToro is the world’s leading social trading platform, with thousands of options for traders and investors.

Chỉ trong tháng này, công ty hoặc các chi nhánh khác nhau của họ đã thêm biểu tượng Bitcoin unicode vào hệ thống bảng tính Microsoft Excel phổ biến rộng rãi; tiết lộ một dự án ID phi tập trung được xây dựng trên đỉnh Bitcoin; và công bố hỗ trợ Azure Blockchain cho Quorum, phân nhánh Ethereum được phép của JP Morgan.

Thật vậy, vị trí của Microsoft với tư cách là một bên liên quan trong không gian blockchain rộng lớn hơn đang tăng lên và các công cụ như VeriSol mã nguồn mở giờ đây sẽ giúp các dự án ngoài mục đích trực tiếp của nó cũng phát triển. Vì vậy, Nhà nghiên cứu chính của Microsoft Shuvendu Lahiri đã lưu ý về người xác minh:

“Chúng tôi hình dung việc trao quyền không chỉ cho các nhà phát triển và khách hàng của Azure Blockchain mà còn đóng góp vào một hệ sinh thái blockchain đầy đủ an toàn hơn và giúp mọi người nhận ra toàn bộ tiềm năng của công nghệ mà không bị cản trở bởi những sai lầm tốn kém trong các hợp đồng thông minh.”

Và do đó, hoạt động và cơ sở hạ tầng công cộng xung quanh công nghệ hợp đồng thông minh – và đặc biệt là xung quanh Ethereum, nền tảng hợp đồng thông minh lớn nhất cho đến nay – tiếp tục nở rộ.

Than ôi, Microsoft cũng không phải là người khổng lồ trong ngành duy nhất phát hành công nghệ miễn phí tập trung vào Ethereum. Tập đoàn kế toán “Big Four” EY đã phát hành công cụ bảo mật Nightfall chỉ vài ngày trước.

#CRYPTO BROKERSBenefits

1

eToro
Best Crypto Broker

VISIT SITE
  • Multi-Asset Platform. Stocks, crypto, indices
  • eToro is the world’s leading social trading platform, with thousands of options for traders and investors.

2

Binance
Cryptocurrency Trading


VISIT SITE
  • ? Your new Favorite App for Cryptocurrency Trading. Buy, sell and trade cryptocurrency on the go
  • Binance provides a crypto wallet for its traders, where they can store their electronic funds.

#BITCOIN CASINOBenefits

1

Bitstarz
Best Crypto Casino

VISIT SITE
  • 2 BTC + 180 free spins First deposit bonus is 152% up to 2 BTC
  • Accepts both fiat currencies and cryptocurrencies

2

Bitcoincasino.io
Fast money transfers


VISIT SITE
  • Six supported cryptocurrencies.
  • 100% up to 0.1 BTC for the first
  • 50% up to 0.1 BTC for the second

Độ vững chắc 101

Được phác thảo lần đầu tiên vào năm 2014 bởi người đồng sáng lập Ethereum Gavin Wood, Solidity cuối cùng đã được xây dựng bởi một nhóm các nhà phát triển Ethereum do Christian Reitwiessner đứng đầu.

Ngôn ngữ này được lấy cảm hứng từ các khía cạnh của các ngôn ngữ lập trình phổ biến và chính thống khác như JavaScript, Python và C ++. Vì lý do đó, những người mới bắt đầu lập trình quan tâm đến việc học Solidity nên tìm hiểu kỹ về một trong những người có ảnh hưởng của nó như một điểm khởi đầu.

Theo tài liệu của Solidity, về cơ bản, ngôn ngữ này xây dựng các hợp đồng như sau:

“Hợp đồng theo nghĩa Solidity là một tập hợp mã (các chức năng của nó) và dữ liệu (trạng thái của nó) nằm tại một địa chỉ cụ thể trên chuỗi khối Ethereum.”

Do đó, Solidity cung cấp cho các nhà phát triển khả năng “điều chỉnh hành vi của các tài khoản trong trạng thái Ethereum”, tài liệu của nó giải thích.

Những người quan tâm đến việc tạo cho Solidity một vòng xoáy hơn nữa có thể khám phá văn bản giải thích của Andreas Antonopoulos và Gavin Wood’s Mastering Ethereum hoặc đăng ký CryptoZombies, một tài nguyên giáo dục miễn phí giúp người mới bắt đầu học viết mã một trò chơi dựa trên zombie bằng ngôn ngữ.

Tất nhiên, con chim đầu đàn sẽ bị sâu. Theo đà Ethereum đã đạt được cho đến nay, có vẻ như Solidity sẽ tồn tại trong nhiều thập kỷ tới.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me