วิฑิต บุตริน โพสต์ "สำรวจวงกลม STARKs"

Odaily แพลนเน็ต เดลี่ Vitalik Buterin ตีพิมพ์บทความ "Exploring Circle STARKs" บทความนี้ระบุว่าในช่วงสองปีที่ผ่านมา แนวโน้มที่สำคัญที่สุดในการออกแบบโปรโตคอล STARK คือการเปลี่ยนแปลงไปสู่การดำเนินงานในระดับเล็ก ๆ ความเร็วในการพิสูจน์ที่เพิ่มขึ้น ปัจจุบัน Starkware สามารถใช้กับแล็ปท็อป M3 ได้ การพิสูจน์ว่ามีแฮช Poseidon2 ถึง 620,000 ครั้งต่อวินาที หมายความว่าหากเราเต็มใจที่จะไว้วางใจ Poseidon2 เป็นฟังก์ชันแฮช ส่วนที่ยากที่สุดในการสร้าง ZK-EVM ที่มีประสิทธิภาพก็ได้รับการแก้ไขอย่างมีประสิทธิภาพ Vitalik เชื่อว่าด้วยการผสมผสานเทคโนโลยีสนามไบนารี เช่น Mersenne31, BabyBear และ Binius เรารู้สึกว่าเรากำลังใกล้ถึงขีดจำกัดของประสิทธิภาพ "ชั้นฐาน" ของ STARK แล้ว ณ จุดนี้ ฉันคาดหวังว่าขอบเขตของการเพิ่มประสิทธิภาพ STARK จะเปลี่ยนไปสู่การดำเนินการทางคณิตศาสตร์ที่มีประสิทธิภาพมากที่สุดบนพื้นฐาน เช่น ฟังก์ชันแฮชและลายเซ็น (และเพิ่มประสิทธิภาพดั้งเดิมเหล่านั้นเองเพื่อจุดประสงค์นั้น) ทำการก่อสร้างแบบเรียกซ้ำเพื่อให้สามารถขนานได้มากขึ้น ดำเนินการทางคณิตศาสตร์ บน VM เพื่อปรับปรุงประสบการณ์ของนักพัฒนาและงานระดับสูงกว่าอื่น ๆ