How do you verify a computation without running it again?

I’m exploring this with rust-stark-zkvm, an open-source Rust project for STARK-based verifiable computation.

Code: github.com/CodesbyFebin/rust-stark-zkvm

What would you want to prove?

#Rust #OpenSource #zkvm #codesbyfebin

LatticeJolt מעבירה את קריפטוגרפיית מכונה וירטואלית ידע-אפס לסכימות מבוססות סריג, משיגה יצירת הוכחות לאחר-קוואנטום מהירה פי 10 תוך הפחתת גדלי הוכחות לפחות מ-100KB. משתמשת בהנחות Module-SIS התואמות לתקני ביטחון ML-KEM.

#קריפטו_לאחר_קוואנטום #zkVM #חדשות

LatticeJolt chuyển đổi mật mã máy ảo không kiến thức sang các sơ đồ dựa trên lattice, đạt được tạo bằng chứng hậu lượng tử nhanh gấp 10 lần, đồng thời giảm kích thước bằng chứng xuống dưới 100KB. Sử dụng giả định Module-SIS phù hợp với tiêu chuẩn bảo mật ML-KEM.

#CryptoHậuLượngTử #zkVM #TinTức

LatticeJolt เปลี่ยนระบบการเข้ารหัสของเครื่องเสมือนศูนย์ความรู้ไปยังระบบแลตทิซ โดยบรรลุการสร้างการพิสูจน์หลังควอนตัมเร็วขึ้น 10 เท่า และลดขนาดการพิสูจน์เหลือต่ำกว่า 100KB โดยใช้สมมติฐาน Module-SIS ที่สอดคล้องกับมาตรฐานความปลอดภัย ML-KEM

#หลังควอนตัม #zkVM #ข่าว

LatticeJolt shifts zero-knowledge virtual machine cryptography to lattice-based schemes, achieving 10x faster post-quantum proof generation while reducing proof sizes to under 100KB. Uses Module-SIS assumptions matching ML-KEM security standards.

#PostQuantumCrypto #zkVM #News