snarks viết thường Các từ như laser, scuba, radar bắt đầu bằng chữ hoa. LASER — Khuếch đại ánh sáng bằng phát xạ kích thích SCUBA — Thiết bị thở dưới nước tự chứa RADAR — Phát hiện và định vị sóng radio Khi một công nghệ trưởng thành và trở nên đáng tin cậy, được tin tưởng, trở thành hàng hóa, nó sẽ được viết thường. Lean Ethereum là một cược vào snarks, không phải là Các lập luận không tương tác ngắn gọn về Kiến thức. Bảo mật hậu lượng tử. Độ vững chắc có thể chứng minh. Xác minh chính thức từ đầu đến cuối. Phân tích mật mã sâu. Chứng minh theo thời gian thực. Tính khả thi lập trình zkVM. Đơn giản và thanh lịch. Tất cả đều cần thiết cho việc viết thường. Tất cả đều không thể tránh khỏi. Ethereum L1 có 10 năm thời gian hoạt động và 1 nghìn tỷ đô la được bảo vệ bằng các hàm băm và chữ ký, những con ngựa lao động mật mã của chúng tôi. Tôi tin vào 100 năm thời gian hoạt động và 1 triệu tỷ đô la được bảo vệ bằng snarks, những động cơ phản lực mật mã của chúng tôi. * Quy mô L1 — 10K TPS quy mô gigagas với zkEVM theo thời gian thực * Bảo mật L1 — bảo mật hậu lượng tử với chữ ký snarked * Quyền riêng tư L1 — độ bí mật cấp Zcash với wormholes (ví dụ EIP-7503) Giao hàng snarks là một Dự án Manhattan mật mã, một dự án mà EF đang đầu tư hàng chục triệu đô la: * verified-zkevm[.]org — xác minh chính thức * poseidon-initiative[.]info — phân tích mật mã sâu * ethproofs[.]org — chứng minh theo thời gian thực * proximityprize[.]org — độ vững chắc có thể chứng minh * zkevm.ethereum[.]foundation — sự tôn vinh * pse[.]dev — quyền riêng tư Từng bước, EF đang tiến hóa thành một tổ chức ưu tiên snark: * đội mật mã — thúc đẩy độ vững chắc và phân tích mật mã...