zk-SNARK

zk-SNARK คือการพิสูจน์แบบ zero-knowledge ชนิดที่กระชับและไม่ต้องโต้ตอบ กล่าวคือ ตัวพิสูจน์มีขนาดเล็กมากและตรวจสอบได้เร็ว โดยผู้พิสูจน์ส่งมาเพียงครั้งเดียวไม่ต้องสื่อสารกลับไปกลับมา คุณสมบัตินี้ทำให้ zk-SNARK ใช้งานได้จริงบนบล็อกเชนซึ่งผู้ตรวจสอบทุกคนต้องจ่ายค่าประมวลผล และเป็นรากฐานของเหรียญที่เน้นความเป็นส่วนตัวและ ZK rollup หลายโครงการ ข้อแลกเปลี่ยนดั้งเดิมคือ trusted setup ซึ่งเป็นพิธีสร้างพารามิเตอร์สาธารณะเพียงครั้งเดียว และทิ้งเศษข้อมูลลับที่บางครั้งเรียกว่าขยะพิษไว้ ต้องถูกทำลาย เพราะผู้ที่เก็บไว้อาจปลอมแปลงหลักฐานได้ พิธีแบบหลายฝ่ายช่วยลดความเสี่ยงนี้ เพราะขอเพียงมีผู้เข้าร่วมที่ซื่อสัตย์หนึ่งรายก็พอ นอกจากนี้ zk-SNARK ยังอาศัยสมมติฐานเส้นโค้งวงรีซึ่งไม่ถือว่าทนต่อคอมพิวเตอร์ควอนตัม