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

TRỰC TIẾP NGAY BÂY GIỜ - Bước Chuyển Chiến Lược của Ethereum: Kế Hoạch Khôi Phục Vị Thế Thống Trị Các nhà nghiên cứu của @ethereumfndn là @dankrad và @adietrichs tham gia cùng @TrustlessState và @MikeIppolito_ để thảo luận về cuộc khủng hoảng nhận diện của @ethereum—và cách mà nó đang xoay chuyển tình thế. Họ phân tích các thách thức văn hóa và tổ chức của Ethereum, sự chuyển hướng sang tăng trưởng L1, và vai trò đang thay đổi của Quỹ Ethereum dưới sự lãnh đạo mới. Cuộc trò chuyện bao gồm tương lai của các rollup cơ bản và bản địa, sự liên kết L2, và lý do tại sao các giá trị độc đáo của Ethereum vẫn quan trọng trong một bối cảnh cạnh tranh. -------------- MỐC THỜI GIAN 0:00 Giới thiệu 5:42 Các Vấn Đề Hàng Đầu của Ethereum 12:33 Thiếu Tăng Trưởng trong Ethereum Layer 1 27:49 Tiến Thoái Lưỡng Nan trong Lộ Trình của Ethereum 38:08 Tiến Trình Mở Rộng Layer 1 39:08 Giá Trị Đề Xuất của Ethereum L1 đối với L2s 48:44 Giải Thích Rollup Cơ Bản và Bản Địa 57:25 EVM Chuẩn trong Thế Giới Rollup 1:01:26 Tầm Nhìn của Vitalik về Mở Rộng L1 1:05:59 ZK Scaling Trở Thành Hiện Thực 1:08:12 Thời Gian Khối Nhanh và DeFi 1:16:59 Văn Hóa Cốt Lõi Ethereum Đang Thay Đổi 1:22:38 Các Thay Đổi Thú Vị Khác 1:26:41 Hướng Đi của Ethereum Giờ Đây Cảm Thấy Khác Biệt 1:30:09 Kết Thúc và Tiết Lộ