Certora hợp tác với Vyper mở công cụ Prover tới người dùng đảm bảo an toàn mã Vyper
2023-09-27 20:01:47
Bộ sưu tập
Theo tin tức từ BitouchNews, Công ty an ninh mạng Certora thông báo rằng họ đang hợp tác với nhóm Vyper ngôn ngữ hợp đồng thông minh để mở công cụ Prover cho tất cả người dùng nhằm giúp cải thiện tính bảo mật của mã Vyper.
Là thành viên quan trọng của cộng đồng Vyper, người dùng có thể sử dụng Certora Prover để xác minh mã Vyper trước ngày 31 tháng 12 năm 2023.

Tin tức
Nhân viên OpenAI công khai cáo buộc xAI đã đưa ra kết quả chuẩn mực sai lệch cho mô hình AI mới nhất của mình, Grok3
Theo tin tức từ BitouchNews, Theo Jinshi.com, một nhân viên của OpenAI đã công khai cáo buộc công ty xAI của Musk, nói rằng kết quả chuẩn của mô hình AI mới nhất Grok3 là sai lệch. Đáp lại, nhà đồng sáng lập xAI Igor Babushkin khẳng định công ty không làm gì sai.Biểu đồ xAI cho thấy hai phiên bản Grok3 — Grok3 Reasoning Beta và Grok3 mini Reasoning — đã vượt trội hơn mô hình mạnh nhất hiện có của OpenAI, o3-mini-high, trên AIME 2025. Tuy nhiên, nhóm OpenAI đã nhanh chóng chỉ ra trên nền tảng X rằng biểu đồ của xAI không bao gồm điểm AIME 2025 của o3-mini-high ở mức “cons@64”.Babushkin lập luận trên Nền tảng X rằng OpenAI đã từng công bố các biểu đồ chuẩn mực gây hiểu lầm tương tự trong quá khứ. Mặc dù các biểu đồ này được sử dụng để so sánh hiệu suất của các mô hình riêng.
Dữ liệu: Tổng giá trị thị trường của stablecoin vượt quá 226,5 tỷ đô la Mỹ, tăng 0,54% trong tuần qua
Theo tin tức từ BitouchNews, Theo dữ liệu DefiLlama, tổng giá trị thị trường của các đồng tiền ổn định trên thị trường tiền điện tử hiện tại đã đạt 226,511 tỷ đô la Mỹ, tăng 1,214 tỷ đô la Mỹ trong 7 ngày qua, tăng 0,54% so với tháng trước, trong đó giá trị thị trường của USDT chiếm 63,11%.
Dữ liệu: Golem Network, công ty đã huy động được 820.000 ETH vào năm 2016, bị nghi ngờ đã bán 20 triệu đô la ETH
Theo tin tức từ BitouchNews, Theo nhà phân tích chuỗi Ember, Golem Network, đơn vị đã huy động được 820.000 ETH trong ICO năm 2016, có thể đã bán thêm 7.250 ETH (20 triệu đô la Mỹ) trong hai ngày qua: 6.200 ETH đã được chuyển cho Binance và 1.050 ETH đã được chuyển cho Coinbase. Sẽ còn lại 110.000 ETH (3,05 triệu đô la Mỹ) kể từ năm 2016: 10.000 trong Golem: địa chỉ đa chữ ký và 100.000 trong staking gốc Ethereum.
Musk thông báo rằng chế độ giọng nói Grok và các cải tiến khác sẽ sớm ra mắt
Theo tin tức từ BitouchNews, Musk thông báo trên mạng xã hội rằng chế độ giọng nói Grok, tính năng ghi nhớ và nhiều cải tiến khác sẽ được ra mắt vào cuối tuần này. Trong buổi giao lưu với cư dân mạng, Musk cũng đề cập rằng Grok-3 đã thành công hoàn toàn và nhóm XAI đã làm rất tốt. Khi được hỏi về phần được mong đợi nhất, Musk trả lời rõ ràng rằng đó là chức năng trò chuyện bằng giọng nói.
Thay đổi PI, tăng 76,8% trong 24 giờ
Theo tin tức từ BitouchNews, theo giám sát dữ liệu AICoin: Giá OKX-PI hiện tại là 1,28 đô la, tăng 76,8% trong 24 giờ. Khối lượng giao dịch trong 24 giờ là 1,8 tỷ đô la Mỹ, tăng 102,09%, chỉ mang tính chất tham khảo.
Bài viết nổi bật
Đằng sau sự phát triển của KOL: Mô hình Kaito Yap có thực sự bền vững?
Ethereum và Solana, ai sẽ là EOS tiếp theo?
Đánh giá Hotcoin 2024: Đổi mới và tăng trưởng từ góc nhìn toàn cầu
Tìm thêm nội dung
Tin tức
2023-08-04 06:51
Curve, Metronome và Alchemix cùng đưa ra phần thưởng 10% để lấy lại số tiền bị đánh cắp gần đây Curve
Theo tin tức từ BitouchNews, Ba nền tảng tài chính phi tập trung (DeFi), Curve, Metronome và Alchemix , đã công bố một sáng kiến chung để thu hồi các khoản tiền được khai thác gần đây trên pool của Curve , CoinTelegraph đưa tin. Các thỏa thuận này đưa ra mức tiền thưởng là 10% số tiền bị đánh cắp và đảm bảo rằng sẽ không có hành động pháp lý hoặc sự tham gia của cơ quan thực thi pháp luật nào nữa. Ba bên đã cung cấp một kênh liên lạc trực tiếp qua email và kêu gọi bên chịu trách nhiệm phản hồi ngay lập tức.Có thông tin cho rằng cuộc tấn công vào Curve là do lỗ hổng nghiêm trọng trong phiên bản ngôn ngữ lập trình Vyper gây ra, làm dấy lên lo ngại rằng hệ sinh thái DeFi có thể có hiệu ứng domino.
Tin tức
2023-04-28 19:10
Công ty bảo mật Israel Certora đã phát hành báo cáo kiểm toán hợp đồng thông minh Lido V2
Theo tin tức từ BitouchNews, Certora, một công ty bảo mật của Israel, đã công bố báo cáo kiểm toán về hợp đồng thông minh Lido V2 và phát hiện ra 23 vấn đề, bao gồm 2 vấn đề quan trọng và 5 vấn đề nghiêm trọng, đồng thời nhóm Lido đã phản hồi nhanh chóng và chu đáo cho những vấn đề này .
Tin tức
2023-08-06 19:07
Ngôn ngữ lập trình Ethereum Vyper đã phát hành báo cáo phân tích sự kiện lỗ hổng, lỗ hổng đã được khắc phục và thử nghiệm trong v0.3.1
Theo tin tức từ BitouchNews, Vyper, một ngôn ngữ lập trình Ethereum, đã công bố bản phân tích hậu kỳ về vi phạm tuần trước. Báo cáo chỉ ra rằng vào ngày 30 tháng 7, do một lỗ hổng tiềm ẩn trong trình biên dịch Vyper, nhiều nhóm thanh khoản Curve đã bị lạm dụng. và v0.3.0.Vyper tuyên bố rằng lỗ hổng bảo mật đã được khắc phục và thử nghiệm trong phiên bản v0.3.1, đồng thời v0.3.1 và các phiên bản mới hơn đều an toàn. Tuy nhiên, vào thời điểm đó, nó không nhận thức được tác động đối với các giao thức sử dụng các phiên bản dễ bị tấn công của trình biên dịch, cũng như không được thông báo kịp thời cho các giao thức xuôi dòng.
Tin tức
2023-05-04 14:56
Công ty kiểm toán bảo mật Statemind công bố báo cáo kiểm toán Lido V2, phát hiện tổng cộng 120 vấn đề
Theo tin tức từ BitouchNews,Báo cáo kiểm toán Lido Finance V2 do công ty bảo mật và kiểm toán chuỗi khối Statemind phát hành cho thấy có tổng cộng 120 vấn đề đã được phát hiện, bao gồm 2 vấn đề nghiêm trọng, 8 vấn đề có rủi ro cao và 17 vấn đề có mức độ nghiêm trọng vừa phải. Trước đây, Certora , một dự án bảo mật hợp đồng thông minh, đã báo cáo đã tìm thấy 23 vấn đề trong giao thức Lido V2, bao gồm 2 vấn đề nghiêm trọng và 5 vấn đề có rủi ro cao. Đội ngũ Lido đã phản hồi và giải quyết một số vấn đề.