•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•

Đồng sáng lập Ethereum, Vitalik Buterin, cho biết trí tuệ nhân tạo có thể tăng tốc lộ trình phát triển của mạng lưới Ethereum đồng thời cải thiện chuẩn bảo mật. Tóm tắt Vitalik cho biết AI có thể đẩy nhanh lộ trình và tiến độ triển khai của Ethereum.
Một nửa lợi ích từ AI nên được dành cho kiểm thử mạnh hơn và xác thực chính thức. AI có thể giúp làm mã nguồn tiền mã hóa gần như không có lỗi ở mức độ an toàn thực tế. Phản hồi với một thí nghiệm nơi ai đó vibe-code toàn bộ lộ trình Ethereum đến năm 2030 trong vòng vài tuần, Buterin viết rằng sáu tháng trước đây, thậm chí điều này còn ngoài tầm với, và điều quan trọng là xu hướng đang đi đâu. Buterin tự mình kiểm tra mã AI bằng cách xây một bản sao phần mềm blog của ông ấy chỉ trong một giờ bằng máy tính xách tay của mình. Người sáng lập Ethereum gợi ý lấy một nửa lợi ích tốc độ từ AI và áp dụng cho an ninh thông qua nhiều trường hợp kiểm thử, xác thực chính thức và nhiều triển khai. Mọi người nên cởi mở với khả năng (không phải chắc chắn! khả năng) rằng lộ trình Ethereum sẽ hoàn thành nhanh hơn nhiều so với kỳ vọng, ở mức an ninh cao hơn nhiều so với kỳ vọng.
Đây là một thí nghiệm ấn tượng. Việc vibe-code toàn bộ lộ trình 2030 trong vòng vài tuần. Rằng điều này được xây dựng trong hai tuần ngay cả khi chưa có EIPs có nhiều caveats: hầu như chắc chắn có nhiều lỗi nghiêm trọng, và có thể trong một số trường hợp là các phiên bản stub của một thứ gì đó mà AI đã không thử làm đầy đủ. AI cho phép xác thực bằng máy đối với một trong những định lý phức tạp nhất mà STARKs dựa vào để bảo đảm an ninh. Một cộng sự của dự án Lean Ethereum đã AI-code một chứng minh có thể kiểm tra bằng máy cho một trong những định lý phức tạp nhất mà STARKs dựa vào để bảo đảm an ninh. Dự án Lean Ethereum nhằm xác thực chính thức tất cả các thành phần, với AI cải thiện khả năng đạt được mục tiêu. Buterin nhấn mạnh rằng việc sinh ra một khối lượng lớn các bộ kiểm thử có ý nghĩa vượt ra ngoài xác thực chính thức. Phương pháp đúng phân chia lợi ích của AI giữa tốc độ và cải thiện an ninh.
Đừng cho rằng bạn có thể nhập một prompt và nhận được một phiên bản cực kỳ an toàn bất cứ lúc nào; sẽ có nhiều cuộc đấu tranh với lỗi và sự không nhất quán giữa các triển khai, Buterin cảnh báo. Lỗi mã có thể chuyển từ ảo tưởng thành kỳ vọng cơ bản Buterin bày tỏ sự hào hứng về khả năng rằng mã không lỗi, lâu được coi là ảo tưởng, cuối cùng sẽ trở thành khả năng đầu tiên và sau đó là kỳ vọng cơ bản. Ông xem đây là điều cần thiết cho sự tin tưởng trong các hệ thống tiền mã hóa. Toàn bộ an ninh vẫn bất khả thi vì nó sẽ đòi hỏi sự tương ứng chính xác giữa các dòng mã và nội dung của tâm trí, mà Buterin ước tính lên tới nhiều terabytes thông tin. Các tuyên bố an ninh cụ thể có thể được đưa ra và kiểm chứng trong từng trường hợp, loại bỏ hơn 99% hậu quả tiêu cực từ mã bị hỏng. Tuyên bố cho thấy AI là công cụ giúp tăng tốc phát triển và nâng cao mức chuẩn an ninh đồng thời. Khung làm việc của Buterin gợi ý AI có thể loại bỏ sự đánh đổi bằng cách cho phép xác thực an ninh đầy đủ ở tốc độ phát triển trước đây không thể.
Vào ngày 19/4 tại Hà Nội, Ngân hàng TMCP Sài Gòn - Hà Nội (SHB) và Huawei Technologies đã ký kết thỏa thuận hợp tác chiến lược, đánh dấu một bước quan trọng trong hành trình chuyển đổi toàn diện của SHB và khẳng định định hướng chủ động của…