Cointime

Download App
iOS & Android

hợp đồng thông minh

SmartContract

Tất cả từ hợp đồng thông minh

Dịch vụ xác minh chính thức của Certora đã hỗ trợ ngôn ngữ lập trình Ethereum Vyper

Theo tin tức ngày 15 tháng 8, dịch vụ xác minh chính thức của dự án phân tích bảo mật hợp đồng thông minh Certora đã hỗ trợ ngôn ngữ lập trình Ethereum Vyper, cho phép các nhà phát triển hợp đồng thông minh phát hiện lỗi trước khi kiểm tra sau khi triển khai mã.

Số lượng ETH được cam kết vượt quá 27,12 triệu mảnh

Theo dữ liệu từ Glassnode, khối lượng cam kết của hợp đồng thông minh ETH 2.0 đạt mức cao kỷ lục, tổng cộng là 27.123.401.

Sandbox khởi chạy lại dịch vụ chuỗi chéo LAND

Sandbox đã khởi chạy lại dịch vụ chuỗi chéo LAND, sau khi nó vô hiệu hóa chức năng chuỗi chéo vào ngày 31 tháng 7. Sandbox tuyên bố rằng việc bảo trì và cập nhật hợp đồng thông minh LAND và hợp đồng chuỗi chéo LAND đã được hoàn thành. Hợp đồng thông minh chuỗi chéo đã thông qua kiểm toán của OpenZeppelin. Hiện tại, LAND được đúc trên Ethereum và Polygon có thể xuyên chuỗi hai chiều .

Giao thức Cypher bị mất 1 triệu đô la trong cuộc tấn công

Sàn giao dịch tương lai phi tập trung dựa trên Solana Giao thức Cypher đã đình chỉ các hợp đồng thông minh của nó sau một cuộc tấn công trị giá ước tính 1 triệu đô la. Theo nhà thám hiểm chuỗi khối Solana Solscan, các ví được cho là có liên quan đến vụ tấn công đã đánh cắp được khoảng 38.530 token Solana (SOL) và 123.184 USD bằng USD Coin (USDC), với tổng số tiền thu được bất hợp pháp là 1.035.203 USD. Trong vòng vài giờ sau cuộc tấn công, chiếc ví đã chuyển 30.000 USDC đến địa chỉ Solana USDC của Binance “kiing.sol”, có lẽ là để rút số tiền bị đánh cắp. Cypher Protocol đang điều tra nguyên nhân của vụ tấn công và đã liên hệ với các tin tặc để thảo luận về việc trả lại số tiền bị đánh cắp.

Lexon ra mắt trình biên dịch để chuyển đổi hợp đồng thông minh thành Solidity, Sophia hoặc Javascript

Tin tức Cointime: Ngôn ngữ máy tính hợp đồng thông minh Lexon (LEX) đã ra mắt trình biên dịch vào ngày 3 tháng 8, cho phép các nhà phát triển viết hợp đồng bằng Lexon và chuyển đổi chúng sang Solidity, Sophia hoặc Javascript. Trình biên dịch chạy trên mạng chuỗi khối Aeternity (AE) và nhận mã thông báo LEX dưới dạng thanh toán cho mỗi chu kỳ biên dịch. Lexon là một ngôn ngữ máy tính được thiết kế giống như ngôn ngữ viết hoặc nói thông thường.

Công cụ lập trình chuỗi khối mã thấp SettleMint đảm bảo 16 triệu euro tài trợ cho Series A

Công cụ lập trình chuỗi khối mã thấp SettleMint gần đây đã thêm một trợ lý AI vào nền tảng của nó. Ra mắt khoảng chín tháng sau khi SettleMint công bố vòng tài trợ Series A trị giá 16 triệu euro, trợ lý AI hứa hẹn sẽ giúp các nhà phát triển tạo hợp đồng thông minh, tích hợp dữ liệu và tăng cường kiểm tra đảm bảo chất lượng (QA). SettleMint không tạo ra một trợ lý AI để thay thế con người, AI có thể giúp soạn thảo các hợp đồng thông minh nhưng giá trị thực sự của nó nằm ở việc giải thích ý nghĩa của từng dòng mã. SettleMint chủ yếu sử dụng GPT-4 của OpenAI để đào tạo trợ lý AI và cung cấp thông tin về những phát triển chuỗi khối mới nhất. Với sự tài trợ từ gã khổng lồ điện tử Nhật Bản Fujitsu, SettleMint đang tiến sâu vào châu Á.

Công ty công nghệ chuỗi khối ConsenSys đã phát hành công cụ kiểm tra hợp đồng thông minh "Diligence Fuzzing"

Công ty công nghệ chuỗi khối ConsenSys đã phát hành công khai công cụ kiểm tra hợp đồng thông minh "Diligence Fuzzing" theo thông báo ngày 1 tháng 8. Công cụ mới có thể tạo ra "các điểm dữ liệu ngẫu nhiên và không hợp lệ" để phát hiện các lỗ hổng trước khi hợp đồng được phát hành. Các vụ tấn công tài chính phi tập trung vào năm 2022 tiêu tốn hơn 2,8 tỷ đô la. Theo ConsenSys, những mất mát này đang thúc đẩy các nhà phát triển áp dụng các công cụ kiểm tra tinh vi hơn để giúp tìm ra các lỗ hổng trước khi những kẻ tấn công thực hiện. Công cụ mới từng có sẵn trong phiên bản beta kín và các nhà phát triển cần có quyền truy cập vào công cụ này. Bắt đầu từ ngày 1 tháng 8, quy trình cấp phép này không còn cần thiết nữa. Diligence Fuzzing hiện cũng được tích hợp với công cụ hợp đồng thông minh Foundry và cung cấp phiên bản miễn phí để các nhà phát triển thử nghiệm.

Hợp đồng thông minh hoạt động như thế nào với các tổ chức tài chính truyền thống và tiền tệ Fiat yêu cầu thay đổi cơ bản

Hợp đồng thông minh đã thay đổi cục diện của chuỗi khối và tiền điện tử, nhưng chúng không phải là giải pháp duy nhất. Sự cuồng tín quá mức có thể dẫn đến sự trì trệ và thất bại của công nghệ. Hợp đồng thông minh cần hoạt động với các tổ chức tài chính truyền thống và tiền tệ pháp định, nhưng rủi ro về bảo mật và quyền riêng tư cần được giảm thiểu. Tương lai của tiền điện tử đòi hỏi một cuộc đối thoại với tài chính truyền thống để có khả năng tương tác tiền tệ fiat và dễ dàng truy cập.

Tiến trình cập nhật Evernode của nền tảng XRP Layer 2, dự kiến ​​tiến hành đánh giá testnet Hooks V3 vào giữa tháng 8

Evernode, nền tảng lớp 2 cho hệ sinh thái XRP Ledger, đã phát hành bản cập nhật về tiến trình của nó. Nền tảng này giới thiệu các hợp đồng thông minh vào hệ sinh thái thông qua Hook và dự kiến ​​sẽ bắt đầu đánh giá mạng thử nghiệm Hooks V3 vào giữa tháng 8. Tuy nhiên, Evernode vẫn đang chờ xác nhận tài liệu và tài trợ từ Ripple. Cộng đồng XRP háo hức chờ đợi sự ra mắt của Evernode, công ty có kế hoạch phát sóng mã thông báo gốc được đề xuất của nó, Evers, cho những người nắm giữ XRP sau khi ra mắt giao thức.

Ngành hợp đồng thông minh sẽ phục hồi trong quý 2 năm 2023 và việc huy động vốn trên thị trường tiền điện tử diễn ra chậm chạp

Trong khi quý 2 năm 2023 chứng kiến ​​mức huy động vốn thấp nhất trên thị trường tiền điện tử, thì ngành hợp đồng thông minh vẫn kiên cường. BNB Chain ghi nhận sự gia tăng số lượng hợp đồng thông minh được xác minh, cho thấy nhu cầu ngày càng tăng đối với các giải pháp dựa trên chuỗi khối. Báo cáo dự đoán rằng các giải pháp lớp thứ hai sẽ tiếp tục được thúc đẩy, bảo mật hợp đồng thông minh sẽ trở thành trọng tâm và sự giám sát theo quy định cũng sẽ tăng lên. Các nhà điều hành vẫn lạc quan về triển vọng dài hạn của không gian tiền điện tử bất chấp sự sụt giảm đầu tư từ các công ty đầu tư mạo hiểm.