the proof system landscape every proof system makes a bet. it trades something — trust, proof size, verification speed, quantum resistance — for something else. understanding where zheng sits requires mapping the landscape of these tradeoffs. SNARKs with trusted setup Groth16 is the oldest…