Odaily แพลนเน็ต เดลี่ ผู้ร่วมก่อตั้ง Ethereum ตีพิมพ์ "Binius: Efficient Proof of Binary Fields" ซึ่งชี้ให้เห็นว่า SNARK อาศัย "การคำนวณ" ซึ่งเป็นวิธีการแปลงข้อความเกี่ยวกับโปรแกรมให้เป็นสมการที่เกี่ยวข้องกับพหุนาม (บางครั้งเวกเตอร์และเมทริกซ์) เพื่อที่จะ รักษาตัวเลขให้อยู่ในขนาดที่เหมาะสม "เลขคณิต" จะต้องไม่ทำด้วยจำนวนเต็มปกติ แต่ในโครงสร้างที่เรียกว่า "เขตข้อมูลจำกัด" เลขคณิตแบบโมดูลาร์เป็นตัวอย่างที่ง่ายที่สุดของสนามจำกัด แต่ก็มีตัวอย่างอื่นๆ อีก ในโปรแกรมจริง ตัวเลขส่วนใหญ่มีขนาดเล็กมาก: สำหรับดัชนีลูป ค่า True/False ดัชนีอาร์เรย์ ตัวนับ... หากฟิลด์มีขนาดใหญ่ ค่า "พิเศษ" ที่สร้างขึ้นระหว่างการคำนวณการพิสูจน์จะมีขนาดใหญ่กว่านี้มาก เป็นแหล่งสำคัญของความไร้ประสิทธิภาพ และ Plonky2 และโปรโตคอลที่คล้ายกันจะลดขนาดฟิลด์จาก 256 บิตเป็น 64 หรือ 31 บิต แต่การใช้เขตข้อมูลไบนารีโดยตรงจะมีประสิทธิภาพมากกว่า ซึ่งเป็นโครงสร้างทางคณิตศาสตร์ที่น่าสนใจพร้อมคุณสมบัติพิเศษมากมาย การก่อสร้างหอคอยเป็นวิธีการผลิตที่น่าทึ่ง ซึ่งเพิ่มข้อได้เปรียบมากยิ่งขึ้น