Tuyên ngôn Không Tin Cậy của Vitalik yêu cầu không có giả định tin cậy Chứng minh Xây Dựng của Automata loại bỏ sự tin cậy mù quáng khỏi các bản xây dựng phần mềm với nguồn gốc có thể xác minh trên chuỗi ✧ Được hỗ trợ bởi @boundless_xyz, @SuccinctLabs, và @brevis_zk trustlessbuilds (dot) xyz

Phần mềm không cần tin cậy chỉ có thể đạt được nếu chúng ta thu hẹp khoảng cách giữa: ▶︎ mã nguồn có thể đọc được trên GitHub ▶︎ mã thực thi trên @ethereum Web3 dựa vào những giả định xã hội rằng nhị phân đã triển khai hoàn toàn giống với mã nguồn, nhưng điều này dẫn đến rủi ro trong chuỗi cung ứng.

Tiêu chuẩn ngành cho nguồn gốc phần mềm sử dụng tệp nguồn gốc SLSA được đóng gói bên trong một gói Sigstore. Việc xác minh rằng trên chuỗi tốn kém về mặt tính toán, vì vậy Proof of Build tạo ra các chứng cứ nhẹ với các chương trình khách zkVM giúp việc xác thực trở nên thực tiễn.

Chứng minh Xây dựng của Automata cung cấp chứng minh mật mã trên chuỗi rằng một sản phẩm được xây dựng từ một cam kết git chính xác bởi một nhà xây dựng mong đợi. Đọc: Một đại diện hình ảnh của quy trình Chứng minh Xây dựng: