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
chỉ
Giá trị tài sản ròng của Trump tăng vọt 400% chỉ sau một đêm sau khi ông phát hành tiền tệ
Theo tin tức từ BitouchNews, Theo ước tính từ nền tảng phân tích chuỗi khối Arkham Intelligence, giá trị tài sản ròng của Trump đã tăng vọt lên 28 tỷ USD chỉ sau một đêm, nhờ đồng Meme “TRUMP” do Trump phát hành, giúp tăng giá trị tài sản ròng ước tính của ông lên 400%.Mã thông báo đạt 28 đô la, với các chi nhánh của Trump là CIC Digital LLC và Fight Fight LLC kiểm soát 80% nguồn cung và chỉ riêng giá trị nắm giữ tiền điện tử của ông đã tăng lên 22,4 tỷ đô la.Để so sánh, Forbes định giá tài sản ròng của Trump là 5,6 tỷ USD vào tháng 11 năm ngoái.
chỉ
Dữ liệu: Lưu thông USDC đã tăng khoảng 1,1 tỷ USD trong tuần qua, với tổng lưu thông đạt 46,4 tỷ USD
Theo tin tức từ BitouchNews, Theo dữ liệu chính thức, tính đến ngày 16 tháng 1, Circle đã phát hành tổng cộng khoảng 3,3 tỷ USDC và mua lại khoảng 2,2 tỷ USDC trong bảy ngày qua, tăng lượng lưu hành lên khoảng 1,1 tỷ USD.Tổng lượng lưu thông của USDC là 46,4 tỷ USD và dự trữ của nó là 46,5 tỷ USD, trong đó khoảng 5,8 tỷ USD là tiền mặt và khoảng 40,8 tỷ USD do Quỹ dự trữ Circle nắm giữ.
chỉ
Arkham: Nhóm Trump đã không bán 500 triệu đô la token TRUMP
Theo tin tức từ BitouchNews, Theo phân tích Arkham , nhóm Trump đã không bán 500 triệu USD token TRUMP. Dữ liệu cho thấy nhóm nắm giữ khoảng 500 triệu USD trong nhóm thanh khoản TRUMP trên chuỗi, từ đó 20 triệu USDC đã được rút và khoảng 92 triệu USD token TRUMP đã được gửi đến các sàn giao dịch tập trung.Nếu tất cả token gửi đến các sàn giao dịch được bán ngay lập tức, nhóm Trump sẽ nhận được khoảng 100 triệu USD.
chỉ
FARTCOIN thay đổi bất ngờ, tăng 27,97% trong 24H
Theo tin tức từ BitouchNews, theo giám sát dữ liệu AICoin: OKX - FARTCOIN hiện có giá 1,82 USD, với mức tăng 27,97% trong 24 giờ. Khối lượng giao dịch trong 24 giờ là 1,9 tỷ USD, tăng 90,45%, chỉ mang tính chất tham khảo.
chỉ
Dữ liệu: Hôm qua, một con cá voi đã sử dụng 61.205 SOL để mua 1,271 triệu TRUMP, với lợi nhuận hiện tại là 21,41 triệu USD
Theo tin tức từ BitouchNews, Theo nhà phân tích trực tuyến Ember Monitor, 61.205 SOL (trị giá 14,18 triệu USD) đã được mua vào ngày hôm qua với mức giá 11,15 USD, dẫn đến tổng cộng 1,271 triệu con cá voi TRUMP vẫn chưa được bán.Ông hiện là địa chỉ nắm giữ TRUMP lớn thứ 10, với lợi nhuận thả nổi là 21,41 triệu USD (+151%).
Bài viết nổi bật
Những thách thức và cơ hội trong tương lai cho GameFi vào năm 2025
Đánh giá toàn cảnh ETF tiền điện tử năm 2024: 1 năm, 40 tỷ USD
Nhìn lại năm 2024: Quá trình chuyển đổi của tiền điện tử từ đáy lên đỉnh
RootData APP bổ sung các chức năng mới như “Mở khóa mã thông báo” để tiếp tục nâng cao chất lượng các quyết định giao dịch của người dùng
Tìm thêm nội dung
Tin tức
2023-07-31 15:29
Cộng tác viên Vyper: Vyper và các vấn đề hàng hóa công cộng khác cuối cùng chỉ ra các vấn đề khuyến khích, phải được giải quyết cùng nhau
Theo tin tức từ BitouchNews, @fubuloubu, người đóng góp cho ngôn ngữ hợp đồng thông minh Vyper, cho biết về sự cố hack Curve , “Việc tìm ra lỗ hổng có thể mất vài tuần đến vài tháng và có thể do một nhóm hoặc nhóm nhỏ thực hiện. Chúng tôi có thể sớm tìm ra thêm thông tin, nhưng với các nguồn lực đã đầu tư, tôi nghĩ có lý do để nghi ngờ rằng các tin tặc do nhà nước tài trợ có thể đã tham gia. ”@fubuloubu chỉ ra thêm rằng “Hiện tại chỉ có hai trình biên dịch là tối ưu, cơ sở mã của Vyper nhỏ hơn, dễ đọc hơn và có ít thay đổi hơn để phân tích lịch sử của nó, đây có thể là nơi tin tặc bắt đầu, trong khi cơ sở mã của Solidity lớn hơn . Thứ hai, các trình biên dịch không được hiệu đính hoặc kiểm toán như người ta tưởng. Hầu hết các trình biên dịch thực hiện các thay đổi quan trọng và thường xuyên, điều này không tốt cho việc kiểm tra. ”Tất cả điều này chỉ ra một vấn đề cuối cùng: vấn đề khuyến khích, cụ thể là không ai có động cơ tìm ra các lỗi nghiêm trọng trong trình biên dịch, đặc biệt là các phiên bản cũ hơn.Nhưng đây không phải là kết thúc của Vyper hay Curve , chúng ta phải cùng nhau giải quyết các loại vấn đề về hàng hóa công cộng này, cá nhân tôi đã đưa ra một đề xuất sẽ được thực hiện bằng cách thêm một chương trình tiền thưởng do người dùng đồng tài trợ vào giúp cải thiện Vyper. ”
Tin tức
2023-07-31 21:08
Thỏa thuận cho vay DeFi Sentiment: Do lỗ hổng Vyper, thỏa thuận đã bị đình chỉ và không có rủi ro tương ứng đối với tiền của người dùng
Theo tin tức từ BitouchNews, Giao thức cho vay DeFi Sentiment đã chính thức thông báo rằng do các nhóm ngôn ngữ hợp đồng thông minh và ngôn ngữ hợp đồng thông minh Curve tiết lộ gần đây, giao thức Sentiment đã bị tạm ngưng để thực hiện các biện pháp phòng ngừa. Tiền của người dùng Sentiment không bị ảnh hưởng bởi các rủi ro tương ứng và không cần thực hiện thêm hành động nào.
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 .