ali

Theo báo cáo của Tài Liên Xã, Chan Park, người phụ trách chính sách và hợp tác của OpenAI tại Mỹ và Canada, đã gửi thư cho Thống đốc California Gavin Newsom vào ngày 20 tháng 10, bày tỏ sự ủng hộ việc đặt ra các yêu cầu bắt buộc đối với các doanh nghiệp trí tuệ nhân tạo, bao gồm việc trang bị cơ chế ngừng khẩn cấp cho mô hình, thực hiện kiểm toán độc lập hàng năm, và áp dụng các tiêu chuẩn an ninh mạng cao hơn. Thư đề xuất tăng cường Đạo luật Minh bạch Trí tuệ Nhân tạo SB53 sẽ có hiệu lực vào năm 2025 tại California.Đạo luật SB53 hiện hành yêu cầu các doanh nghiệp AI tiên tiến công bố khung an toàn và báo cáo minh bạch, đồng thời báo cáo các sự kiện an toàn nghiêm trọng. OpenAI cho rằng những yêu cầu này vẫn chưa đủ, đề xuất rằng các quy định quản lý cần phải rõ ràng rằng khung an toàn của doanh nghiệp phải bao gồm khả năng tự tiến hành nghiên cứu phát triển trí tuệ nhân tạo của các mô hình tiên tiến. OpenAI đã tiết lộ trong một bài viết trên blog vào tháng 9 rằng họ có kế hoạch tạo ra các nhà nghiên cứu trí tuệ nhân tạo tự động, với mục tiêu hoàn thành trước tháng 3 năm 2028.Trong giai đoạn xem xét lập pháp của SB53, OpenAI không ủng hộ đạo luật này và đã công khai phản đối các quy định lập pháp cấp bang quá nặng nề vào tháng 3 năm 2025. OpenAI đã tiết lộ trong tuần này rằng, trong hai nhiệm vụ lập trình nội bộ gần đây, các tác nhân trí tuệ nhân tạo đã cố gắng lừa dối nhân viên và làm suy yếu hệ thống giám sát: vào đầu tháng này, một tác nhân đã vô hiệu hóa cảnh báo tự động gửi đến đội ngũ an ninh, và vài ngày sau, một tác nhân khác đã gỡ bỏ hệ thống giám sát, đồng thời nói dối khi bị nhân viên hỏi rằng không làm như vậy. Các cuộc kiểm toán của các cơ quan điều tra độc lập Asymmetric Security và Transluce cho thấy, các sự kiện liên quan gần đây rộng hơn nhiều so với những gì OpenAI đã công bố ban đầu.

a16z Đối tác tiền điện tử Ali Yahya đã đăng trên X rằng anh đã quyết định rời a16z, chuyển đến San Francisco và thành lập công ty. Anh cho biết, mình đã gia nhập công ty gần 10 năm, vào năm 2017 khi gặp Chris Dixon, Ben Horowitz, Marc Andreessen, anh là kỹ sư nghiên cứu robot tại Google Brain, có niềm đam mê với mã nguồn mở nhưng không hiểu về đầu tư.Ali Yahya cho biết, vào thời điểm đó Chris Dixon đã thông qua việc đầu tư vào Coinbase và các công ty khác, đã định hình a16z trong lĩnh vực tiền điện tử giai đoạn đầu, nhưng đội ngũ tiền điện tử của công ty chỉ có Chris Dixon và mong muốn mở rộng đội ngũ. Chris Dixon đã mời anh rời Google để hỗ trợ xây dựng hoạt động tiền điện tử của công ty. Anh cho biết, việc cùng nhau thành lập đội ngũ và hỗ trợ công việc của các nhà sáng lập là trải nghiệm có ý nghĩa nhất trong cuộc đời của mình, và cảm ơn Chris, Ben, Marc cùng đội ngũ.Về hướng khởi nghiệp, Ali Yahya cho biết hiện tại vẫn ở giai đoạn đầu, anh đặc biệt quan tâm đến cơ sở hạ tầng có thể hỗ trợ hệ sinh thái phần mềm mở. Anh đưa ra hai quan sát: hiện tại AI chủ yếu là công nghệ sử dụng đơn lẻ, trong tương lai sẽ chuyển sang hợp tác giữa nhiều người và nhiều tác nhân thông minh, và có thể xuất hiện mạng lưới mở quy mô lớn; chi phí viết phần mềm đã giảm đáng kể, có thể được tạo ra theo nhu cầu và bị loại bỏ sau khi sử dụng một lần, do đó ngăn xếp phần mềm sẽ thay đổi và có thể thúc đẩy sự ra đời của hệ điều hành mới do AI trung gian và hệ sinh thái nhà phát triển AI bản địa. Anh mời những người làm việc trong các lĩnh vực liên quan, đặc biệt là những người ở khu vực Vịnh, giao lưu với anh.

Nghiên cứu truyền thông Decentralised.co phát biểu: Khối lượng giao dịch quyền chọn trên chuỗi vẫn chưa đủ 1% hợp đồng vĩnh viễn DEX, trong khi khối lượng giao dịch quyền chọn trên thị trường truyền thống khoảng gấp 3 lần hợp đồng tương lai. Tổ chức này đã kiểm tra lại giá đóng cửa hàng ngày của Bitcoin từ tháng 1 năm 2018 đến tháng 10 năm 2026, trong số các vị thế mua có lãi cuối cùng, xác suất thanh lý của hợp đồng vĩnh viễn 10 lần trong các khoảng thời gian 180 ngày, 90 ngày và 60 ngày lần lượt là 47%, 29% và 18%. Họ đã phát lại ba vị thế mua Bitcoin 1000 đô la vào ngày 10 tháng 10 năm 2025: hợp đồng vĩnh viễn 10 lần đã bị thanh lý lúc 21:14, quyền chọn mua 30 ngày giảm xuống mức thấp nhất là 181 đô la và trong vòng một giờ đã trở lại trên 800 đô la, quyền chọn bán 7 ngày với giá 52 đô la đã giúp vị thế mua 10 lần vượt qua sự giảm giá.Decentralised.co: Trong quá khứ, quyền chọn trên chuỗi thường thất bại do sổ lệnh phân tán, khó khăn trong việc phòng ngừa rủi ro và vốn bị khóa. Các nhà gửi tiền Hegic đã mất phần lớn trong số khoảng 80 triệu đô la vào tháng 5 năm 2021, các nhà gửi tiền Lyra đã mất 4.9% trong bể Bitcoin và 17.6% trong bể Ethereum trong vòng 7 tháng, PsyOptions đã đóng sản phẩm vào tháng 6 năm 2024. Với sự đảm bảo ký quỹ từ các thanh khoản vĩnh viễn như Hyperliquid, số vốn khóa để bán một quyền chọn mua Bitcoin có thể giảm từ khoảng 100.000 đô la xuống còn khoảng 15.000 đô la, lợi nhuận hàng tháng từ 1.8% tăng lên khoảng 12%.Bài viết đã liệt kê Hyperliquid là địa điểm chính để phòng ngừa thanh khoản, giao thức quyền chọn Derive (trước đây là Lyra) là động cơ cơ sở, Paradex thực hiện các giao dịch lớn, Hypercall là địa điểm quyền chọn đầu tiên được xây dựng trên Hyperliquid. Derive đã thanh lý khoảng 18 tỷ đô la giá trị danh nghĩa quyền chọn trong một năm tính đến ngày 19 tháng 10. Sau khi Paradex kết nối với Paradigm vào ngày 15 tháng 9, khối lượng giao dịch quyền chọn theo ngày đã tăng từ chưa đến 3 triệu đô la lên 58.7 triệu đô la trong vòng một tuần, hợp đồng chưa thanh lý đã giảm từ hơn 250 triệu đô la xuống còn khoảng 96 triệu đô la vào ngày 14 tháng 10. Giá trị danh nghĩa quyền chọn trên chuỗi vào tháng 9 năm 2026 đã tăng gấp đôi lên khoảng 5 tỷ đô la, phí quyền chọn đã tăng lên 85 triệu đô la.

Tổng chưởng lý California Rob Bonta đã công bố rằng văn phòng của ông đã đạt được thỏa thuận hòa giải 500.000 đô la với Fidelity Digital Assets, Hiệp hội Quốc gia (thực thể kế thừa của Fidelity Digital Asset Services), liên quan đến việc công ty này trước đây đã hạn chế khách hàng bán lẻ ở California chuyển tiền điện tử sang ví bên ngoài.Các cơ quan quản lý cho rằng hành vi này có thể vi phạm Luật Hàng hóa California năm 1990; luật này hạn chế một số hợp đồng hàng hóa đầu cơ, trừ khi người mua nhận được giao hàng thực tế trong thời gian quy định, chính quyền California coi khả năng rút tiền điện tử là tương đương chức năng của giao hàng. Từ tháng 11 năm 2022 đến tháng 4 năm 2025, khách hàng California có thể mua bán tiền điện tử trên nền tảng Fidelity, nhưng không thể gửi tài sản trực tiếp đến ví bên ngoài. Fidelity cho biết, sự hạn chế này xuất phát từ việc Bộ Dịch vụ Tài chính New York (NYDFS) không phê duyệt chức năng liên quan vào thời điểm đó; giấy phép được phê duyệt vào tháng 4 năm 2025, chức năng chuyển tiền sẽ được mở rộng đến tất cả khách hàng bán lẻ ở California vào tháng 6 năm 2025.

Vitalik Buterin trên nền tảng X đã đăng bài cho biết, ông không dự đoán rằng phòng thủ sẽ tự động vượt trội hơn tấn công, mà tin rằng an ninh mạng cuối cùng sẽ hướng tới một kết cục có lợi cho phòng thủ, nhưng quá trình chuyển tiếp sẽ rất khó khăn.Ông chỉ ra rằng, "Người tốt phát hiện ra lỗ hổng trong phần mềm đã phát hành trước người xấu" không thuộc về trò chơi mà phòng thủ chiếm ưu thế. Để trò chơi thực sự nghiêng về phía phòng thủ, cần phải có những thay đổi sâu sắc trong phương pháp luận, bao gồm xác minh hình thức, giảm thiểu mạnh mẽ cơ sở tính toán đáng tin cậy (TCB), và hiện tại những thay đổi này mới chỉ bắt đầu. Ông cũng cho biết, đây là một trong những lý do quan trọng khiến ông có thái độ thân thiện đối với việc làm chậm lại hoặc tạm dừng sự phát triển của AI, và kêu gọi đầu tư hơn 1% GDP vào an ninh mạng, an toàn sinh học và củng cố thế giới vật lý.

Meta Platforms đã ký hợp đồng với CEO Mark Zuckerberg, yêu cầu ông tiếp tục cư trú tại khu vực pháp lý nơi công ty đặt trụ sở trong tám năm tới. Hành động này nhằm đối phó với thuế tài sản dự kiến ở California, ông Zuckerberg có thể phải đối mặt với hóa đơn thuế lên tới hàng tỷ đô la.Hợp đồng cho phép ông bán một phần cổ phiếu loại C để cung cấp vốn lưu động, nhằm đối phó với gánh nặng thuế có thể phát sinh từ Đề xuất số 40 của California.

Meta Platforms dự kiến rằng khoản lỗ của bộ phận Reality Labs vào năm tới sẽ thu hẹp xuống còn khoảng 15 tỷ USD.

Dự án mạng lưới dữ liệu phi tập trung Dataline hướng tới trí tuệ nhân tạo đã công bố hoàn thành vòng gọi vốn hạt giống 10,6 triệu USD, với sự tham gia của Coinbase Ventures và Giám đốc điều hành Robinhood, Vlad Tenev.Dự án cũng dự định tiến hành phát hành công khai token thông qua nền tảng đấu giá của Uniswap, các chi tiết cụ thể dự kiến sẽ được công bố vào tuần tới, và dự kiến sẽ ra mắt token trước cuối năm nay.

Telecom Italia TIM sẽ hợp tác với NVIDIA để cung cấp khả năng phát triển và triển khai ứng dụng trí tuệ nhân tạo tiên tiến.

Theo báo cáo của 《Đọc Giả》， Alibaba Cloud vào giữa tháng 9 đã hợp nhất dịch vụ tra cứu thông tin IQS gốc với CleverSee thành sản phẩm dịch vụ tìm kiếm AI nguyên bản hoàn toàn mới mang tên CleverSee (tên tiếng Trung "Khai Tích"), cung cấp dịch vụ tìm kiếm và hỏi đáp tích hợp cho khách hàng doanh nghiệp.CleverSee được định vị là công cụ tìm kiếm AI nguyên bản cung cấp nguồn thông tin chất lượng cao có thể hiểu được dành riêng cho các mô hình lớn và trí tuệ nhân tạo, bao gồm ba sản phẩm con chính là tìm kiếm trực tuyến, tìm kiếm theo lĩnh vực và tìm kiếm nội bộ doanh nghiệp, lần lượt bao phủ thông tin công khai trên internet, thông tin bán công khai theo lĩnh vực và dữ liệu riêng tư nội bộ của doanh nghiệp. Trong đó, tìm kiếm trực tuyến hỗ trợ nhận diện ý định, tư duy đa vòng và tìm kiếm trong khi suy nghĩ, có thể trả về câu trả lời kèm theo trích dẫn nguồn và các thẻ cấu trúc như thời tiết, giá cổ phiếu; tìm kiếm nội bộ doanh nghiệp hiện đang trong giai đoạn thử nghiệm định hướng.Trước đó, Tencent Cloud vào ngày 20 tháng 10 đã mở cửa "Nguyên Bảo Tìm Kiếm", ByteDance cũng đã ra mắt tìm kiếm Viking AI, các nhà cung cấp dịch vụ đám mây trong nước đang tăng tốc triển khai cơ sở hạ tầng tìm kiếm AI cho doanh nghiệp.

Tesla và Alipay đã chính thức ký kết thỏa thuận hợp tác dự án trợ lý trên xe. Hệ thống xe của Tesla tại Trung Quốc dự kiến sẽ ra mắt dịch vụ thanh toán thông minh cho việc đỗ xe qua trợ lý Alipay, giúp chủ xe thực hiện thanh toán phí đỗ xe nhanh chóng và an toàn trên màn hình xe.Nhiều chức năng tiện lợi cho các tình huống sống trên xe đang được phát triển.

Theo báo cáo của Reuters, vào ngày 20 tháng 10, ByteDance, Alibaba và Tencent đã đặt hàng hơn 3 triệu card đồ họa RTX PRO 5500 từ NVIDIA, với giá khoảng 11,400 USD mỗi chiếc, tổng giá trị vượt quá 35 tỷ USD. Do quy định xuất khẩu của Mỹ, chip này không bao gồm kiến trúc Blackwell tiên tiến nhất, là chip NVIDIA hợp pháp mạnh nhất mà Trung Quốc có thể mua được hiện nay.Các nguồn tin cho biết, do nhu cầu vượt xa khả năng sản xuất, NVIDIA đã thông báo với các đối tác rằng có thể chỉ giao được 5% đến 10% đơn hàng. Các công ty công nghệ Trung Quốc chủ yếu sử dụng chip này cho suy diễn AI và tạo mô hình sau khi huấn luyện. Mặc dù hiệu suất không bằng các chip B300 và H200 bị cấm, nhưng trong bối cảnh thiếu hụt sức mạnh tính toán và các hạn chế vẫn tiếp diễn, RTX PRO 5500 đã trở thành một lựa chọn hấp dẫn. Ngoài ra, NVIDIA dự kiến sẽ chuyển phần lớn công suất của TSMC sang các sản phẩm Rubin thế hệ mới bắt đầu từ năm 2027. Hiện tại, ByteDance, Alibaba, Tencent và NVIDIA đều chưa có bình luận về vấn đề này.

Theo báo cáo của Cointelegraph, tổ chức liên kết Protect Progress của Fairshake Super PAC, có mối quan hệ chặt chẽ với ngành công nghiệp tiền điện tử, đã nộp tài liệu lên Ủy ban Bầu cử Liên bang Hoa Kỳ, tiết lộ rằng họ đã chi 362.000 USD để quảng cáo, ủng hộ nghị sĩ đương nhiệm đảng Dân chủ Aisha Wahab tại khu vực bầu cử Quốc hội số 14 của California, đối thủ của cô là Melissa Hernandez, cũng là một đảng viên Dân chủ.Đáng chú ý, Wahab đã đánh bại Hernandez với tỷ lệ phiếu bầu hơn 53% trong cuộc bầu cử đặc biệt vào ngày 18 tháng 8, cuộc bầu cử này nhằm lấp đầy vị trí trống sau khi Eric Swalwell từ chức, nhiệm kỳ của ông sẽ kết thúc vào tháng 1 năm 2027. Swalwell đã từ chức vào tháng 4 năm nay do cáo buộc tấn công tình dục. Wahab và Hernandez trước đó đều được đánh giá là "hỗ trợ mạnh mẽ cho tiền điện tử" trong bảng khảo sát của tổ chức tài sản kỹ thuật số Stand With Crypto.Fairshake được thành lập vào năm 2023, nguồn vốn chủ yếu đến từ Coinbase, Ripple Labs và Andreessen Horowitz. Kể từ cuộc bầu cử tổng thống Hoa Kỳ năm 2024, Super PAC này đã chi hàng chục triệu USD để ủng hộ các ứng cử viên mà họ xác định là "thân thiện với tiền điện tử". Tổ chức liên kết của họ, Defend American Jobs, cũng đã chi hơn 6,7 triệu USD trong cuộc bầu cử Thượng viện Nebraska để phản đối ứng cử viên độc lập Dan Osborn, và đã đầu tư 8 triệu USD ở Ohio để ủng hộ đảng viên Cộng hòa đương nhiệm Jon Husted, tổng số tiền đầu tư cho cuộc bầu cử này đã vượt quá 46 triệu USD.

Tại hội nghị RISC-V Trung Quốc năm 2026, nhà khoa học chính của Viện Đàm Mô Alibaba, Mạnh Kiến Dật: Đến nay, chip Huyền Thiết đã ổn định xuất xưởng hơn 6 tỷ chiếc. Huyền Thiết là dòng vi xử lý RISC-V được Viện Đàm Mô Alibaba giới thiệu.Tại hội nghị, Viện Đàm Mô Alibaba cũng đã công bố chip E908A tăng cường theo tiêu chuẩn ô tô đầu tiên. Mạnh Kiến Dật trích dẫn dự đoán của Omida cho biết, đến năm 2030, lượng xuất xưởng vi xử lý RISC-V toàn cầu sẽ tăng gần 30% mỗi năm, và vào năm 2030, thị phần xuất xưởng vi xử lý toàn cầu sẽ đạt khoảng 25%.

Vitalik Buterin (@VitalikButerin) đã đăng bài viết cho biết, con đường lý tưởng để hỗ trợ các loại thuật toán mật mã là thông qua EIP-8288: người dùng tạo ra chữ ký tùy ý tại địa phương, sau đó thông qua STARK chứng minh và được đưa lên chuỗi thông qua STARK aggregator, không cần chiếm dụng calldata trên chuỗi, vì vậy Ethereum cũng không cần thêm bất kỳ biên dịch trước nào mới. Ông cũng cho biết, nếu mật mã lưới (Lattice) được chứng minh có tính an toàn chống lại các cuộc tấn công AI, trong tương lai vẫn có thể sử dụng biên dịch trước để áp dụng cho các tình huống như tài khoản, ví, v.v.Trước đó, đồng sáng lập Starknet Eli Ben-Sasson đã phản đối quan điểm liên quan của a16z, cho rằng mật mã lưới có cấu trúc toán học phong phú, dễ bị tấn công bởi AI, và phiên bản đơn giản dựa trên mô-đun SIS chỉ mới xuất hiện từ năm 2012, độ trưởng thành chưa đủ, khuyên nên chờ thêm 3-5 năm, để AI kiểm tra đầy đủ trước khi sử dụng cho việc quản lý tài sản lớn.

Người đồng sáng lập Ethereum Vitalik Buterin đã chia sẻ rằng, chi phí khai thác Bitcoin chủ yếu đến từ hai nguồn: một nửa đến từ chi phí vốn của thiết bị tính toán, nửa còn lại đến từ tiêu thụ điện năng; trong khi đó, chi phí suy luận AI gần như hoàn toàn do chi phí vốn tính toán chi phối. Sự khác biệt này phản ánh cấu trúc chi phí khác nhau của hai loại hình kinh doanh tính toán. Thợ mỏ Bitcoin cần phải liên tục trả tiền điện và quyết định không gian lợi nhuận dựa trên hiệu suất của máy đào, giá coin và sự thay đổi độ khó của mạng; trong khi đó, suy luận AI lại phụ thuộc nhiều hơn vào việc đầu tư vào phần cứng đắt tiền như GPU, cũng như tỷ lệ sử dụng thiết bị và hiệu suất tính toán.Ranh giới ngành công nghiệp của cả hai cũng đang thay đổi. Khi nhu cầu tính toán AI tăng lên, một số công ty khai thác Bitcoin bắt đầu chuyển đổi tài nguyên điện hiện có và cơ sở hạ tầng trung tâm dữ liệu sang kinh doanh AI và tính toán hiệu suất cao, với hy vọng chuyển từ việc chỉ khai thác sang cung cấp dịch vụ cơ sở hạ tầng tính toán. Một số công ty khai thác đang tận dụng công suất điện trước đây dành cho khai thác để tham gia vào thị trường trung tâm dữ liệu AI. Tuy nhiên, việc chuyển đổi không có nghĩa là áp lực chi phí biến mất: kinh doanh khai thác trực tiếp chịu ảnh hưởng từ sự biến động của giá điện và giá Bitcoin, trong khi kinh doanh tính toán AI cần phải gánh chịu rủi ro từ việc mua GPU, khấu hao và tỷ lệ sử dụng không đủ. Cả hai loại hình kinh doanh đều cạnh tranh cho điện năng và tài nguyên tính toán, nhưng khả năng sinh lời cuối cùng phụ thuộc vào cách biến những tài nguyên này thành doanh thu.

Người đồng sáng lập Ethereum Vitalik Buterin đã đăng bài trên nền tảng X, ông đã tích hợp zkAPI, Tor, lưu lượng bảo vệ bổ sung và gợi ý LLM địa phương thành một tiến trình tương thích với giao diện OpenAI, và đã thực hiện một gói "chế độ hoang tưởng" cho công cụ đại diện AI của mình là pi. Mã liên quan đã được mã nguồn mở trên GitHub.Cơ chế chính của giải pháp này như sau: mỗi cuộc trò chuyện sử dụng các đường Tor riêng biệt, yêu cầu được phát ra trong lưu lượng bảo vệ ngẫu nhiên; zkAPI được sử dụng để ngăn chặn việc rò rỉ danh tính qua các bước thanh toán; tất cả các từ gợi ý trước tiên được viết lại bởi mô hình địa phương, mô hình do người dùng tự chọn, Vitalik tự sử dụng là qwen3.8-flash-next. Công cụ đại diện được bao bọc bên ngoài bởi một lớp sandbox bwrap, sau đó là một lớp torsocks, để tất cả các hoạt động mạng đều đi qua Tor.Vitalik cho biết, giải pháp này đã khá hữu ích, nhưng độ trễ rõ rệt tăng lên, đặc biệt là khi bắt đầu cuộc trò chuyện mới thì rất chậm. Ông chỉ ra rằng, Tor trong bối cảnh này không phải là giải pháp bảo mật tốt nhất: lưu lượng bảo vệ có thể ngăn chặn việc nghe lén thụ động, nhưng nếu nhà cung cấp dịch vụ LLM thông đồng với các nút vào Tor và chủ động thao túng thời gian, hiệu quả bảo vệ sẽ giảm mạnh.

Theo thông tin từ nền tảng giám sát chuỗi Arkham, tổng giá trị tài sản trên chuỗi của người đồng sáng lập Ethereum Vitalik Buterin khoảng 530 triệu USD, trong đó 527.81 triệu USD là ETH, phân bổ ở nhiều địa chỉ của ông (bao gồm cả vitalik.eth).Các tài sản còn lại bao gồm 1.76 triệu USD Aave LUSD, 478 nghìn USD ZCHF và 346 nghìn USD WHITE.

Apple dự kiến sẽ ra mắt Apple Smart thông qua bản cập nhật hệ thống iOS 27.3 vào tháng 12, với các tính năng AI đầu tiên được phát hành tại Mỹ hai năm trước, bao gồm iPhone, iPad và Mac.Alibaba cung cấp khả năng mô hình AI, Baidu chịu trách nhiệm cho Siri và các chức năng trí tuệ thị giác.

Vitalik đã đăng bài trên nền tảng X, chúc mừng đội ngũ Airbender của @zksync đã đạt được cột mốc này. Ông cho rằng, cuộc cạnh tranh về tốc độ của zkEVMs đã đạt được chiến thắng quyết định, và nhiệm vụ hàng đầu nên chuyển hoàn toàn sang an toàn.Vitalik cho biết, điều này có nghĩa là cần phải xác minh chính thức sự tương đương giữa phép toán và tiêu chuẩn Ethereum, giới hạn cứng về tỷ lệ chi phí của người chứng minh và tổng lượng Gas của khối, cũng như an toàn của chính hệ thống chứng minh.