Công ty bảo mật hợp đồng thông minh Certora đã huy động được 36 triệu đô la trong vòng Series B do Jump Crypto dẫn đầu để tài trợ cho sự phát triển và chuyển công nghệ phát hiện lỗ hổng của mình sang các blockchain mới.
Những nhà đầu tư khác trong vòng gọi vốn bao gồm Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) và VMware (VMW), theo thông tin được cung cấp cho CoinDesk.
Các vụ vi phạm bảo mật chuỗi khối đã trở thành tiêu đề trong năm nay với một số gây ra thiệt hại tài chính chín con số. Chúng bao gồm vụ 326 triệu đô la của cầu nối blockchain Wormhole và 625 triệu đô la của Ronin Network, cơ sở hạ tầng đằng sau trò chơi kiếm tiền phổ biến Axie Infinity.
Certora được thiết kế để giúp các nhà phát triển phát hiện và ngăn chặn các lỗi bảo mật trước khi mã được triển khai. Công cụ Prover của công ty được thiết kế để bổ sung cho hoạt động kiểm toán của con người và tiền thưởng lỗi. Certora cho biết họ hiện đang đảm bảo 50 tỷ đô la tài sản tài chính phi tập trung (DeFi). Sản phẩm tìm thấy và hiển thị bất kỳ vi phạm quy tắc nào hoặc chính thức chứng minh rằng không có bất kỳ vi phạm quy tắc nào.
Công ty được dẫn dắt bởi Shmuel “Mooly” Sagiv, chủ tịch khoa học máy tính tại Đại học Tel Aviv và là người đi tiên phong trong việc xác minh chính thức, một lĩnh vực sử dụng toán học phức tạp để chứng minh hoặc bác bỏ tính đúng đắn của một thuật toán, chẳng hạn như các hợp đồng thông minh trên một giao thức thanh khoản. .
Certora hiện chỉ xử lý các blockchains tương thích với Máy ảo Ethereum (EVM). Trọng tâm tiếp theo là mở rộng hỗ trợ cho Solana, sau đó mở rộng sang mạng Polkadot. Sagiv nói với CoinDesk trong một cuộc phỏng vấn:
“Những gì chúng tôi muốn làm trong năm tới là bao phủ tất cả các blockchain,”
Certora xác định các hành vi vi phạm các quy tắc bất biến hoặc các quy tắc không nên bị phá vỡ trong các hợp đồng thông minh. Công nghệ của công ty đã xác định được lỗi trong Aave, Compound, Balancer và SushiSwap. Hầu hết các lỗi đã được phát hiện và sửa trước khi mã được triển khai.
“Được hỗ trợ bởi các chuyên gia đẳng cấp thế giới, Certora thúc đẩy xác minh chính thức để sử dụng một bộ sản phẩm có thể mở rộng và mạnh mẽ mang lại khả năng tái sử dụng cao hơn nhiều và thử nghiệm chi tiết,” đối tác của Jump Crypto và người đứng đầu đầu tư Saurabh Sharma cho biết trong một tuyên bố.
Theo Coindesk
Đầu tư vào dự án blockchain, tiền mã hoá, chứng khoán...rất tiềm năng nhưng cũng tiềm ẩn rủi ro cao, bạn chỉ nên đầu tư trong phạm vi tài chính cho phép của bạn. Chúng tôi khuyến nghị bạn hãy trang bị kiến thức, tìm hiểu thật kỹ và có tư vấn từ chuyên gia trong lãnh vực bạn có ý định đầu tư.
Để không bỏ lỡ thông tin mới trên Bitcoininus, vui lòng theo dõi kênh Telegram / FB hoặc đăng ký nhận e-mail.
