Hôm qua Ethereum đã tròn 10 tuổi. Hôm nay, Ethereum gọn nhẹ được công bố như một tầm nhìn—và sứ mệnh cá nhân—cho 10 năm tới. Chúng ta đứng trước ngưỡng cửa của một kỷ nguyên mới. Hàng triệu TPS. Kẻ thù lượng tử. Ethereum kết hợp hiệu suất cực cao với bảo mật và phân quyền không khoan nhượng như thế nào? Tóm lại: mật mã thế hệ tiếp theo là trung tâm để chiến thắng cả tấn công và phòng thủ. Tuyên bố miễn trừ trách nhiệm: Đây là một quan điểm của Drake™ nhắm đến một đối tượng rộng rãi. Một cái nhìn sâu sắc về chữ ký hậu lượng tử dựa trên băm và SNARKs sẽ theo sau. Một sự đa dạng lành mạnh về quan điểm trong Protocol, EF, và cộng đồng Ethereum rộng lớn hơn là điều được mong đợi và chào đón. Nó làm cho chúng ta mạnh mẽ hơn. defense—chế độ kiên cố Ethereum là đặc biệt. 100% thời gian hoạt động kể từ khi khởi đầu. Độ đa dạng khách hàng không ai sánh kịp. 130 tỷ đô la trong bảo mật kinh tế (35,7 triệu ETH đã được đặt cọc × 3,7K đô la)—có thể sớm đạt 1 nghìn tỷ đô la. Ethereum đang chuẩn bị trở thành nền tảng của internet giá trị, bảo vệ hàng trăm nghìn tỷ trong nhiều thập kỷ, thậm chí hàng thế kỷ. Ethereum phải sống sót qua mọi thứ: các quốc gia, máy tính lượng tử. Bất cứ điều gì đến. Gọi đó là chế độ kiên cố. Nếu internet hoạt động, Ethereum hoạt động. Nếu thế giới trực tuyến, thế giới ở trên chuỗi. offense—chế độ hung dữ Ethereum đang khao khát. “Mở rộng L1, mở rộng blob” là một sự cấp bách chiến lược trong cụm Protocol của EF. Mong đợi những cải tiến hiệu suất dễ dàng trong 6–12 tháng tới. Về lâu dài? Nghĩ đến gigagas L1, teragas L2. Gọi đó là chế độ hung dữ. → 1 gigagas/giây trên L1: 10K TPS, mở rộng theo chiều dọc đầy tham vọng → 1 teragas/giây trên L2: 1M TPS, mở rộng theo chiều ngang Mở rộng so với phân quyền? Tại sao không cả hai. Toán học trên mặt trăng mà chúng ta cần giờ đã được thuần hóa: → zkVM thời gian thực cho thực thi gọn nhẹ → lấy mẫu khả năng dữ liệu (DAS) cho dữ liệu gọn nhẹ Một điểm nhấn tuyệt vời: xác minh toàn bộ chuỗi trên mọi trình duyệt, ví, điện thoại. cải tiến gọn nhẹ Ethereum gọn nhẹ đề xuất những cải tiến táo bạo trên tất cả ba lớp con L1: → đồng thuận gọn nhẹ là beacon chain 2.0: được củng cố cho bảo mật và phân quyền tối ưu, cộng với tính cuối cùng trong vài giây; trước đây được gọi là “beam chain” → dữ liệu gọn nhẹ là blobs 2.0: blobs hậu lượng tử, cộng với kích thước blob chi tiết cho trải nghiệm phát triển giống như calldata → thực thi gọn nhẹ là EVM 2.0: một tập hợp lệnh tối thiểu, thân thiện với SNARK (có thể là RISC-V; phát âm là “risk five”), tăng cường hiệu suất trong khi vẫn bảo tồn tính tương thích EVM và các hiệu ứng mạng của nó Lớp đồng thuận (CL), lớp dữ liệu (DL), lớp thực thi (EL) đã được tái tưởng tượng từ những nguyên tắc cơ bản. Cùng nhau, chúng mở khóa chế độ kiên cố và chế độ hung dữ. Mục tiêu: sự phong phú về hiệu suất dưới ràng buộc của sự liên tục không thể thương lượng, độ cứng tối đa, và sự đơn giản mới mẻ. mật mã gọn nhẹ Mật mã dựa trên băm đang nổi lên như nền tảng lý tưởng cho Ethereum gọn nhẹ. Nó cung cấp một câu trả lời thống nhất, hấp dẫn cho hai xu hướng lớn đang định hình hệ sinh thái: → sự gia tăng bùng nổ của SNARKs → mối đe dọa lượng tử đang đến gần Hãy tưởng tượng viên gạch mật mã gọn nhẹ nhất—hàm băm—đơn độc cung cấp sức mạnh cho L1: → CL: chữ ký tổng hợp dựa trên băm nâng cấp chữ ký BLS → DL: cam kết DAS dựa trên băm nâng cấp cam kết KZG → EL: zkVM thời gian thực dựa trên băm nâng cấp thực thi lại EVM Một viên ngọc mật mã trong từng CL gọn nhẹ, DL gọn nhẹ, EL gọn nhẹ. nghệ thuật gọn nhẹ Ethereum gọn nhẹ không chỉ là một bản thiết kế để củng cố và mở rộng Ethereum. Hơn cả việc gấp đôi sự chú trọng vào bảo mật, phân quyền, và mật mã tiên tiến. Nó là một thẩm mỹ. Một hình thức nghệ thuật. Một nghề thủ công. Nghĩ đến Jiro trong Giấc mơ Sushi. Khi chúng ta có thể đi thêm một dặm, chúng ta sẽ làm. Chủ nghĩa tối giản. Tính mô-đun. Sự phức tạp được bao bọc. Xác minh chính thức. Bảo mật có thể chứng minh. Tối ưu có thể chứng minh. Đây là những cân nhắc kỹ thuật tinh tế nhưng quan trọng. Hãy theo dõi bài viết về mật mã hậu lượng tử sẽ làm cho chúng rõ ràng. di sản gọn nhẹ Sau 10 năm tuyệt vời, Ethereum gọn nhẹ là một lời thề của thế hệ. Để giữ Ethereum trực tuyến bất kể điều gì. Để mở rộng nó mà không thỏa hiệp. Để làm cho nó xứng đáng với những người đến sau. Đây là về di sản. Chúng ta là những người xây dựng, chúng ta là những người truyền giáo. Chúng ta là Ethereum. Tôi hy vọng bạn sẽ tham gia cùng chúng tôi.

Tại @ziskvm, chúng tôi hiện đang chứng minh các khối Ethereum theo thời gian thực — mã nguồn mở và chạy trên cơ sở hạ tầng ngày càng hiệu quả. Đây là một cột mốc sớm nhưng có ý nghĩa. Hãy tham gia cùng tôi hôm nay lúc 13:00 tại EthCC, Redford Stage để tìm hiểu thêm. #EthCC #ZK #Ethereum #zkVM @eth_proofs

Hỏi đáp chứng minh theo thời gian thực :) Nó là gì? ELI12. A: Một đội quân những người đam mê công nghệ vừa giải quyết một vấn đề khoa học viễn tưởng: chứng minh mọi khối Ethereum mainnet theo thời gian thực. Các bằng chứng zk này rẻ hơn rất nhiều để xác minh so với việc thực hiện lại các giao dịch—chỉ mất vài mili giây, bất kể lượng gas được sử dụng. Khối lớn, trình xác thực nhỏ. Những người ủng hộ phi tập trung vui mừng. Chẳng phải chứng minh theo thời gian thực là toán học không thể đạt được sao? A: Đúng vậy. Năm năm trước, chúng ta còn cách xa năm bậc độ lớn. Nhưng công nghệ đã liên tục phát triển 10 lần mỗi năm, và giờ chúng ta đã đạt được. Đừng bỏ qua sự phát triển theo cấp số nhân. Ngoài ra, về cấp số nhân: → đừng bỏ qua máy tính lượng tử phá vỡ ECDSA → đừng bỏ qua các lần giảm một nửa phá vỡ bảo mật của Bitcoin Làm thế nào Ethereum L1 trở thành "rollup cơ bản và bản địa"? A: Hãy phân tích. → cơ bản: Những người đề xuất L1 sắp xếp các giao dịch. Ethereum L1 là lớp cơ bản—nó cơ bản một cách hiển nhiên. → bản địa: L1 thực hiện các giao dịch thông qua chức năng chuyển đổi trạng thái EVM được tích hợp. Theo định nghĩa, Ethereum L1 là bản địa. Luôn luôn như vậy. → rollup: Một rollup có dữ liệu trên chuỗi và thực thi ngoài chuỗi. Bằng cách snarking các khối EVM mainnet, Ethereum L1 biến thành một zk rollup. Rollups mở khóa giới hạn gas lớn. Base đã đạt 35 megagas/giây—gấp 20 lần Ethereum L1. Base đang hướng tới 1 gigagas/giây, Ethereum L1 cũng có thể đạt được điều đó. Khi nào có gigagas L1? A: Cuộc gọi Ethproofs #3 sẽ dành riêng cho gigagas L1—hãy tham gia. Với EIP-9698, Dankrad đề xuất tăng gas ~3 lần/năm, hoặc ~10 lần mỗi 2 năm. Đó là 1,000 lần trong 6 năm. Đáng nể—nhưng vẫn là con số nhỏ. Quan điểm lạc quan của tôi? Giờ đây khi zkVMs đạt hiệu suất tương đương EVM, giới hạn gas có thể theo kịp sự cải tiến của zkVM. Nếu chúng ta tiếp tục đạt 10 lần/năm, đó là 1 gigagas/giây trong 3 năm. Tôi đã làm việc với Dankrad hơn một thập kỷ—thực tế thường nằm giữa sự thận trọng của ông ấy và sự lạc quan của tôi. Chẳng phải zkVM có lỗi? Còn về xác minh chính thức thì sao? A: Xác minh chính thức là mục tiêu cuối cùng—không phải bước đầu tiên. Chiến lược ngắn hạn: đa dạng hóa zkVM. Đến cuối Q2, một số zkVM sẽ đạt chứng minh theo thời gian thực. Giống như các khách hàng CL và EL, bất kỳ khách hàng cá nhân nào cũng được giả định là có lỗi. Bảo mật đến từ sự đa dạng. Chứng minh độ trễ thấp có thể mở rộng đến gigagas không? A: Có. Chứng minh SNARK có thể song song hóa một cách mạnh mẽ. Chỉ có việc thực thi x86 ban đầu và phân đoạn là tuần tự. EIP-7825 đề xuất giới hạn lượng gas tối đa được sử dụng cho mỗi giao dịch. Điều này cho phép phân đoạn dễ dàng tại các ranh giới giao dịch. Song song hóa mở rộng. Độ trễ vẫn thấp. Nút thắt tiếp theo của zkVM là gì? Năng lượng. Tính khả dụng của người chứng minh 1-of-n đáng tin cậy có nghĩa là việc chứng minh tại nhà nên dễ dàng tiếp cận với những người đam mê. Một mục tiêu hợp lý có thể là 10kW hoặc ít hơn cho mỗi cụm chứng minh. Làm thế nào để chúng ta tăng giới hạn gas lên 1,000 lần với ngân sách 10kW? → phần mềm: hệ thống chứng minh, mạch, thuật toán tiếp tục phát triển → phần cứng: luật Moore + SNARK ASICs → chứng minh phân tán: phân bổ tải, không cần tin tưởng

🤯 chứng minh thời gian thực đã đến 🤯 Các khối EVM Mainnet được chứng minh trong chưa đầy 1 slot Ethereum (12s). Nổi da gà. Succinct chứng minh mọi khối Ethereum L1: → 94% trong <12s → 99% trong <13s → 99.9% trong <12s, sắp™ Hôm qua RISC Zero đã công bố một cụm GPU gia đình trị giá $120K—dự kiến chứng minh trong 9.25s. Brevis, OpenVM, Snarkify, ZisK, ZKM chỉ còn vài tuần nữa sẽ gia nhập câu lạc bộ thời gian thực. Sắp™ trình xác thực của tôi sẽ xác minh các khối EVM trên một Rasberry Pi Pico—một bảng mạch $5 tiêu thụ <1W. Tôi sẽ bỏ EL client của mình để chuyển sang zkEL. Không cần 1 TB NVMe. Tạm biệt Geth, xin chào zkReth. Xác minh không trạng thái và không RAM trong mili giây trên một lõi CPU duy nhất. Với chứng minh thời gian thực, 1 gigagas/giây (10K TPS) nằm trong tầm tay, mà không làm ảnh hưởng đến sự phân quyền của trình xác thực. Từ bây giờ, hãy mong đợi các lần tăng giới hạn gas thường xuyên. 10% cổ phần đã bỏ phiếu cho giới hạn 60M—trình xác thực của bạn cũng có thể. Snarkifying mainnet biến Ethereum L1 thành rollup gốc và cơ bản đầu tiên. Giai đoạn 2. Không lỗi. Sắp xếp phi tập trung. Không có hội đồng bảo mật. Không có quản trị. L1 sẽ dẫn đầu bằng ví dụ. Thứ Sáu này chúng ta sẽ ăn mừng. Tham gia cùng chúng tôi trong cuộc gọi Ethproofs #2, ngày 23 tháng 5 lúc 2 giờ chiều UTC. 25 diễn giả, 2 giờ nội dung. Các cuộc gọi mở—DM @corcoranwill để nhận lời mời vào lịch. Chúng ta đang chứng kiến lịch sử. Hãy tin vào điều gì đó thực sự. Hãy tin vào chứng minh thời gian thực.

các nhà phát triển cốt lõi của Ethereum không tweet nhiều về mức độ khó khăn của công việc mà họ làm, vì vậy hãy nói về điều đó: 1. Mỗi dòng mã họ hợp nhất có thể di chuyển số tiền lớn hơn hầu hết các ngân hàng xử lý trong một quý. Không có máy chủ dàn dựng nào cho việc đó. 2. Họ thay đổi logic đồng thuận cho một nền kinh tế trị giá hơn 400 tỷ đô la mà không cần lên lịch thời gian ngừng hoạt động. Không bao giờ. 3. Họ phối hợp hàng trăm nhà nghiên cứu, kiểm toán viên và đội ngũ khách hàng trên các múi giờ, văn hóa và triết lý khác nhau, nhưng vẫn vận hành như một tâm trí duy nhất. 4. Họ làm tất cả điều đó công khai, với mọi quyết định bị phân tích bởi những người ồn ào nhất trên internet, nhưng vẫn giữ được tinh thần hợp tác. 5. Họ thiết kế cho những kẻ tấn công có động cơ chín con số và sự kiên nhẫn vô hạn. Sau đó, họ vẫn ngủ ngon. 6. Họ giữ sáu khách hàng độc lập đồng bộ hoàn hảo để cùng một khối tồn tại ở cùng một chiều cao cho mọi nút trên thế giới. 7. Họ biến nghiên cứu tiên tiến thành mã sản xuất trong khi vẫn duy trì khả năng tương thích ngược cho các máy đã hoạt động trước khi DeFi thậm chí có tên. 8. Họ gỡ lỗi các vấn đề chỉ xảy ra một lần mỗi năm trên một nút lưu trữ duy nhất vì ai đó ở đâu đó sẽ dựa vào trường hợp ngoại lệ đó. 9. Họ viết mật mã phải không bị phá vỡ trong nhiều thập kỷ trong khi bản thân toán học vẫn đang tiến hóa dưới chân họ. 10. Khi nâng cấp diễn ra suôn sẻ, thế giới bên ngoài chỉ nhún vai. Bên trong Ethereum, chúng ta biết đó là một phép màu nhỏ. Mỗi lần fork thành công chứng minh rằng sự phối hợp phi tập trung có thể vượt qua các hệ thống phân cấp tốt nhất thế giới và cho thấy rằng thị trường vốn internet mở hiện là tiêu chuẩn. Cảm ơn các bạn, thật sự. Chúng ta nợ các bạn tất cả.

đã cấu hình trình xác thực của tôi cho giới hạn gas 60M ⛽ → tăng 66% từ 36M là an toàn sau Pectra → các trình xác thực đặt giới hạn—bỏ phiếu với của bạn → hướng dẫn tại PumpTheGas[.]org khi nào 1 gigagas/giây (10K TPS) trên Ethereum L1? → cần bằng chứng zkEVM cho thiết bị tiêu dùng → cuộc gọi Ethproofs #2: chứng minh thời gian thực → cuộc gọi Ethproofs #3: gigagas L1 hãy tin vào điều gì đó

Đơn giản hóa L1

Giới thiệu Ethereum R1 — Rollup trung lập được xây dựng cho Ethereum Không có mã thông báo. Không bán hàng tư nhân. Không có giáo phái quản trị. Chỉ cần giá trị Ethereum, tài trợ công và kiểm soát cộng đồng. 🧵 Tại sao R1 lại quan trọng và cách bạn có thể tham gia:

1 gigagas/giây (10K TPS) trên Ethereum L1 với zkVMs không thỏa hiệp: → phần cứng tiêu dùng (zkVMs) → internet gia đình (DAS) → kháng kiểm duyệt (FOCIL) → thời gian hoạt động 100% (đa dạng khách hàng) → 8K nút đồng thuận Được xây dựng cho tài chính internet. Tin vào điều gì đó thực tế.

ba zkVM mới được công bố trong cuộc gọi Ethproofs #1 → Ix (Lean 4) bởi @argumentxyz → StarkV (RISC-V) bởi @StarkWareLtd → zCray (lấy cảm hứng từ RISC-V) bởi @IrreducibleHW