Công cụ kiểm tra Wake cho Solidity hiện có nguồn mở cho cộng đồng nhà phát triển Blockchain

Praha, Cộng hòa Séc, ngày 28 tháng 11 năm 2023, BTCWire

• Wake là một khung phát triển và thử nghiệm Solidity dựa trên Python với các trình phát hiện lỗ hổng tích hợp. Nó đã được Ackee Blockchain sử dụng trong các cuộc kiểm toán và hiện đang có nguồn mở và sử dụng miễn phí cho mọi người.

• Các chuyên gia bảo mật đang cảnh giác cao độ vì lịch sử cho thấy rủi ro bị hack tăng lên khi hoạt động thị trường tăng lên. Công cụ nguồn mở như Wake trao quyền cho người xây dựng ứng dụng tiến hành kiểm tra nhanh chóng và kỹ lưỡng các lỗ hổng mã.

Công cụ kiểm tra đã được chứng minh trên chiến trường trở thành nguồn mở

Chuỗi khối Ackee , một nhóm kiểm toán hợp đồng thông minh và người tạo ra các công cụ cộng đồng, giới thiệu Wake, một khung thử nghiệm và phát triển dựa trên Python cho Solidity và làm mờ chuỗi chéo với thành tích đã được chứng minh về việc ngăn chặn lỗi.

Các tính năng của Wake bao gồm khung phát triển và thử nghiệm, bộ làm mờ, trình phát hiện lỗ hổng và máy in.

Wake trước đây đã được sử dụng trong kiểm toán hợp đồng thông minh do Ackee Blockchain thực hiện cho IPOR , trục , Và cô đơn và giúp kiểm toán viên tìm ra các lỗi nghiêm trọng, cao và trung bình. Công ty đã thông báo sẽ biến công cụ này thành nguồn mở để đóng góp vào một không gian blockchain an toàn hơn.

Các chuyên gia bảo mật cảnh báo khi hoạt động thị trường tăng lên

Khi hoạt động DeFi tăng lên, tin tặc nhìn thấy nhiều mục tiêu sinh lợi hơn và ngày càng táo bạo hơn. Trong thị trường giá lên, các dự án thường gấp rút tung ra các bản cập nhật sản phẩm, tạo ra nhu cầu cao về dịch vụ kiểm toán hợp đồng thông minh có kinh nghiệm. Vào thời kỳ đỉnh cao của thị trường giá lên năm 2021, các dự án thường được các công ty có uy tín báo giá + thời gian chờ kiểm toán hơn ba tháng. Sau đó, họ phải đối mặt với một quyết định khó khăn là trì hoãn các vụ phóng trong bối cảnh “chiếm đất” điên cuồng hoặc phóng với các cuộc kiểm tra được tiến hành vội vàng, làm tăng rủi ro bảo mật.

Sau một tuần khi các quỹ tiền điện tử chứng kiến dòng tiền đổ vào cao nhất kể từ thị trường tăng giá năm 2021 và khối lượng DeFi tăng khoảng 50%, các chuyên gia bảo mật đang cảnh giác cao hơn. Việc phát hành Wake rất kịp thời - nó cho phép các nhà phát triển ứng dụng kiểm tra một cách thành thạo các hợp đồng thông minh của DEX hoặc bất kỳ giao thức nào gắn vào dịch vụ của họ hoặc mà họ phụ thuộc vào.

Được thiết kế để tạo ra ít kết quả dương tính giả hơn và giảm thời gian kiểm tra thủ công

Ngoài vai trò là khung thử nghiệm, Wake còn cho phép người dùng chạy phân tích tĩnh. Nó có một bộ công cụ phát hiện chất lượng mã và lỗ hổng có độ chính xác cao, sẵn sàng sử dụng cũng như các máy in sẵn sàng sử dụng để trích xuất và in ra những thông tin hữu ích như luồng kiểm soát hợp đồng thông minh và biểu đồ kế thừa.

“Vấn đề phổ biến của các công cụ phân tích tĩnh là tỷ lệ dương tính giả cao đòi hỏi phải có thêm thời gian điều tra thủ công. Triết lý của chúng tôi là chỉ bao gồm các máy dò chính xác nhất và giảm mọi tiếng ồn tạo ra chi phí bổ sung,” - Josef Gattermayer, Giám đốc điều hành và đồng sáng lập của Ackee Blockchain.

Wake đã trải qua thử nghiệm hiệu suất với các khung công tác khác , cụ thể là Hardhat, Brownie và Ape, trên ba chuỗi phát triển khác nhau – Anvil, Ganache và Hardhat. Wake được chứng minh là framework Python nhanh nhất.

Bản phát hành mới của Wake cho phép tùy chỉnh máy dò và máy in. Nó cũng cho phép các bên thứ ba tạo và triển khai máy in và máy dò tùy chỉnh của họ. Phiên bản mới nhất cũng giới thiệu hành động Github để tự động thực thi các trình phát hiện trong đường ống. “Tỷ lệ dương tính giả thấp, thực hiện thử nghiệm nhanh nhất trong ngành và hành động GitHub sẵn sàng khiến Wake trở thành ứng cử viên lý tưởng cho việc tích hợp CI/CD trong mọi dự án” - Josef Gattermayer, CEO và đồng sáng lập của Ackee Blockchain.

Đánh thức sức mạnh Công cụ cho sự vững chắc , một tiện ích mở rộng Visual Studio Code Solidity phổ biến có chức năng làm nổi bật và phát hiện cú pháp từ trình phát hiện chất lượng mã và lỗ hổng Wake, đồng thời cung cấp phản hồi tức thì cho các nhà phát triển bằng cách sử dụng quyền truy cập tiện ích mở rộng vào tất cả các tham chiếu của một biểu tượng trong toàn bộ dự án.

Giới thiệu về Wake

Wake là một khung phát triển và thử nghiệm dựa trên Python dành cho Solidity và làm mờ chuỗi chéo với thành tích đã được chứng minh về việc ngăn chặn các lỗi được tạo bởi Chuỗi khối Ackee , điều này trở nên khả thi nhờ vào khoản tài trợ mà Ackee Blockchain nhận được từ Coinbase vào năm 2022.

Để tìm hiểu thêm, vui lòng truy cập getwake.io .

Trang mạng | Twitter | điện tín

Giới thiệu về Ackee Blockchain

Ackee Blockchain là một nhóm gồm các nhà nghiên cứu bảo mật kiểm tra các giao thức hàng đầu: Safe, 1inch, Axelar, LayerZero, Trader Joe hoặc CoW Protocol.

Ackee Blockchain được hỗ trợ bởi quỹ VC lớn nhất tập trung vào blockchain và DeFi ở Châu Âu, RockawayX, đồng thời nhận được tài trợ từ Ethereum Foundation, Tezos Foundation, Coinbase và Solana Foundation.

Sứ mệnh của Ackee Blockchain là xây dựng một cộng đồng blockchain vững mạnh hơn bằng cách chia sẻ kiến thức: nhóm tổ chức khóa học cấp chứng chỉ miễn phí Trường đoàn kết , Trường Solana và giảng dạy tại Đại học Kỹ thuật Séc ở Praha. Sứ mệnh này cũng được hoàn thành trong các sáng kiến như dự thảo ERC-7512, phát triển bộ công cụ Wake và phát triển bộ làm mờ mã nguồn mở cho Solana.

Trang mạng | Twitter

Nếu có thắc mắc về truyền thông hoặc biết thêm thông tin, vui lòng liên hệ [email protected]