Succinct คืออะไร?

Succinct กําลังพัฒนาโครงสร้างพื้นฐานที่ช่วยให้นักพัฒนาทุกคนสามารถใช้เทคโนโลยี zero-knowledge proof (ZK proof) ได้อย่างมีประสิทธิภาพ ปัจจุบัน Succinct ได้เปิดตัว zkVM SP1 แบบโอเพนซอร์สแบบแยกส่วน และขณะนี้กําลังพัฒนาเครือข่ายโปรเวอร์แบบกระจายอํานาจ Succinct Prover Network ในอนาคตเครือข่ายนี้จะสามารถเรียกใช้ ZK-proof Rollups, Coprocessors และโครงสร้างพื้นฐานอื่น ๆ ซึ่งทําหน้าที่เป็น "โครงสร้างพื้นฐานขั้นสูงสําหรับบริการโครงสร้างพื้นฐาน ZK"

ทำไมเทคโนโลยี ZK Proof ถึงสำคัญ?

ZK proofs can effectively protect privacy while completing the proof process. For instance, suppose a person wants to provide a company with proof of a health examination report without wanting to spread or retain those sensitive medical data. By generating a ZK proof, the user can prove their health status meets the company’s requirements without needing to provide the actual medical data report, thereby avoiding the risk of privacy leakage.

ในแผนการใช้บังคับของบล็อกเชนมวล, ZK proofs ถือเป็นเทคโนโลยีที่สำคัญสำหรับอนาคตของบล็อกเชน พวกเขาช่วยให้นักพัฒนาบล็อกเชนสามารถพิสูจน์อย่างไม่สามารถย้อนกลับใดๆ, เช่น ฟังก์ชันการเปลี่ยนสถานะของบล็อกเชนหรือพิสูจน์ความเห็น

นอกจากนี้ ZK proofs เป็นแบบไม่จำกัดสิทธิ์ ไม่ต้องพึ่งพาทุนภายนอกหรือผู้ดำเนินการเพื่อความปลอดภัย สามารถพิสูจน์ความถูกต้องของคำพูดใด ๆ ZK proofs ยังมีประสิทธิภาพ ต้องการเพียงฝ่ายเดียวในการสร้างและอนุมัติให้ใครก็สามารถตรวจสอบ

สถานการณ์การพัฒนาทีมและการจัดหาเงินทุน

Succinct ถูกก่อตั้งขึ้นในปี 2022 ด้วยทีมงานขนาดเล็กและที่ตั้งออฟฟิศในซานฟรานซิสโก ผู้ก่อตั้งก่อนหน้านี้ได้เขียนและเผยแพร่งานวิจัยเกี่ยวกับ ZK bridges, ความสามารถในการทำงานร่วมกัน, และการจัดลำดับข้อมูลร่วมกัน ทีมงานยังมีประสบการณ์หลายปีในการทำงานในด้านแพลตฟอร์มการฝึกอบรมโมเดล, แพลตฟอร์มข้อมูล, และ AI

ลูกค้าของ Succinct มีทีมชั้นนำในอุตสาหกรรมอย่างมาก ณ ปัจจุบัน Wormhole, Lido, Near, Celestia (Blobstream X), Avail (Vector bridge), และ Gnosis (native bridge) ได้ใช้เวอร์ชันเริ่มต้นของ Prover Network ที่พัฒนาโดย Succinct อย่างสมบูรณ์ โดยสร้าง ZK-proof DApps ที่ตรงตามมาตรฐานของโปรโตคอล Succinct

ในวันที่ 22 มีนาคม 2024 Succinct ประกาศว่าได้รับเงินทุนระดับซีรีส์ A มูลค่า 43 ล้านเหรียญสหรัฐฯ ซึ่งมี Paradigm เป็นผู้นำกลุ่มที่ลงทุน จนถึงปัจจุบัน ยอดเงินทุนรวมของทีม (รอบเมล็ดพันธุ์และซีรีส์ A) รวมเป็นเงินทุนรวม 55 ล้านเหรียญสหรัฐฯ พร้อมผู้เข้าร่วมที่ระบุไว้ ได้แก่ Robot Ventures, Bankless Ventures, Geometry, ZK Validator, และนักลงทุนท่านอื่นๆ เช่น ผู้ก่อตั้ง Eigenlayer Sreeram Kannan, ผู้ก่อตั้ง Polygon Sandeep Nailwal, ผู้ก่อตั้ง Polygon Zero Daniel Lubarov, และ ผู้ก่อตั้ง Bitwise Elad Gil

แหล่งที่มา: ทวีตของทีมโครงการ

พื้นหลังของทีมพัฒนา

Uma Roy

Uma Roy เป็นผู้ร่วมก่อตั้งและประธานเจ้าหน้าที่บริษัท Succinct ในวัยเด็กวัยรุ่น เธอเข้าร่วมการคัดเลือกสำหรับการแข่งขัน United States of America Junior Mathematical Olympiad (USAJMO) ซึ่งถือว่าเป็นหนึ่งในการแข่งขันที่เชื่อถือได้สำหรับนักเรียนมัธยมปลายในสหรัฐอเมริกา USAJMO โดยทั่วไปจะคัดเลือกผู้เข้าแข่งขันขึ้นอยู่กับดัชนี AMC 10 เพียง 230-240 คนที่มีคุณสมบัติมีสิทธิ์เข้ารอบคัดเลือกต่างๆ ทุกปี

อุมาได้รับปริญญาปริญญาตรีและปริญญาโทจาก MIT ที่นั่นเธอได้ต่อความสนใจในทฤษฎีการแทน (สาขาของพีชคณิต) และพีชคณิตควอนตัมที่เธอมีตั้งแต่ระดับมัธยมต้น หลังจากปี 2019 เธอเปลี่ยนศูนย์มุมในการเน้นที่แพลตฟอร์มข้อมูลและ AI โดยเริ่มโปรแกรมอยู่ที่ Google Brain AI เดือนสิงหาคม ในปี 2021 เธอกลายเป็นวิศวกรคนแรกที่ Gantry startup ที่มีลูกค้าระดับสูงเช่น Duolingo โดยช่วยพัฒนาแพลตฟอร์มการติดตามโมเดลเรียนรู้ของเครื่อง

John Guibas

John Guibas เป็นผู้ร่วมก่อตั้งของ Succinct และตาม Google Scholar เขาได้เขียนเผยแพร่บทความตั้งแต่ปี 2017 โดยมีจำนวนการอ้างอิงปัจจุบันอยู่ที่ 447 ในปี 2017 ขณะที่ยังอยู่ในโรงเรียนมัธยม John ได้รับทุน AI grant จากนักลงทุนชื่อดัง Nat Friedman และ Daniel Gross (ผู้ลงทุนก่อนหน้าใน Figma และ Stripe) โครงการนี้เริ่มต้นด้วยการให้ทุนวิจัยเพื่อสนับสนุนการวิจัย AI ที่มีความเชื่อมั่นโดยไม่มีเงื่อนไข ภายหลังโครงการนี้ก็เปลี่ยนแปลงเป็นโปรแกรมส่งเสริมสตาร์ทอัพของ AI ในช่วงเริ่มต้น ในเวลานั้น หัวข้อที่ John และคนอื่น ๆ 2 คนกำลังทำงานอยู่เป็นเรื่องที่เกี่ยวข้องกับความเป็นส่วนตัวอยู่แล้ว: พวกเขาได้ศึกษาวิธีการใช้ GANs เพื่อสร้างข้อมูลการฝึกอบรมที่สามารถใช้งานได้และปกป้องความเป็นส่วนตัว

ในปี 2019 เขาได้เข้าศึกษาที่สแตนฟอร์ดเพื่อศึกษาวิทยาการคอมพิวเตอร์ ใช้เวลาส่วนใหญ่ของชีวิตมหาวิทยาลัยที่ห้อง实验 DAWN และศูนย์วิจัย NVIDIA ของสแตนฟอร์ด โดยเน้นทำงานกับระบบฐานข้อมูลและการเรียนรู้ของเครื่อง ในปี 2022 เขาได้รับทุน Paradigm Fellowship และลาออกจากมหาวิทยาลัยสแตนฟอร์ดในช่วงปี 3 ของเขา ในปีเดียวกันนั้น เขายังเข้าร่วมโครงการอาศัยอาศัยอาศัยที่มูลนิธิ 0xPARC (มูลนิธิที่สนับสนุนระบบนิเวศ Ethereum) ที่นั่น เขาได้ทำการวิจัยเทคโนโลยี ZK-proof

ในปี 2022 เขาเริ่มร่วมมือกับศาสตราจารย์และหุ้นส่วนในการวิจัยเพื่อพัฒนาโปรโตไทป์ของ Succinct พวกเขาพบว่า zkSNARKs เหมาะสำหรับการยืนยันโมเดล ML อย่างมาก โดยการสร้างชั้นระหว่างการทำงานที่ไม่มีความเชื่อถือบนระบบนิเวศ Ethereum ซึ่งใช้ zkSNARKs อาจารย์ Daniel Kang, Tatsu Hashimoto, Yi Sun, และ Matei Zaharia เป็นผู้มีส่วนร่วมที่สำคัญ

ในปี 2023 เนื่องจากก่อตั้ง Succinct John ได้รับทุนทีล Fellowship ชั้นนำ ทุนนี้มีให้แก่บุคคลที่อายุไม่เกิน 22 ปี และให้ $100,000 เพื่อสำรวจอิสระเป็นเวลาสองปี ผู้ได้รับรางวัลที่น่าสังเกตได้แก่ผู้ก่อตั้ง Ethereum Vitalik Buterin และผู้ก่อตั้งของ Blur/Blast ชื่อ Tieshun Roquerre

ปัญหาที่ Succinct แก้ปัญหา

ปัญหา 1: ความไว้วางใจได้เผชิญกับมหาสมบัติในพื้นที่บล็อกเชน

ความปลอดภัยของสะพาน跨ลายโซ่: สะพาน跨ลายโซ่มักอยู่ในภาวะที่เสี่ยงต่อการโจมตีจากฮาโกเกอร์อย่างต่อเนื่อง ปัญหาด้านความปลอดภัยนี้ยังคงไม่ได้รับการแก้ไข ทำให้เกิดการบุกรุกบ่อยครั้งและสูญเสียเงินทุนตามหลายๆ เครือข่ายบล็อกเชนที่แตกต่างกัน

Multisig Fraud Proofs: การปล่อยออกของ Blast เปิดเผยปัญหาเกี่ยวกับ multisig (ลายเซ็นต์หลายตัว) เมื่อผู้ใช้ชี้ให้เห็นถึงความขาดหายของการพิสูจน์การประพฤติทุจริตในหลายๆ โซลูชันของชั้นที่ 2 ที่ผู้คนใช้กันอย่างแพร่หลาย การเปิดเผยนี้แสดงให้เห็นว่าโดยส่วนใหญ่แพลตฟอร์มชั้นที่ 2 หลายๆ แห่งขาดกลไกในการพิสูจน์หรือปฏิเสธกิจกรรมทุจริตในการทำ multisig ของตน

โหนดการตรวจสอบที่มีการกำหนดที่ส่วนกลาง: ในปี 2022 มีข้อกล่าวหาเกี่ยวกับ BNB Chain ที่ถูกกล่าวหาว่าถูกควบคุมโดยคณะกรรมการที่ถูกเลือกโดย Binance คณะกรรมการนี้ที่มีการผลิตบล็อกที่สลับกันประกอบด้วยโหนดการตรวจสอบ 21 โหนดที่ควบคุมเงินพันล้าน โหนดเหล่านี้ถูกเลือกจาก 11 สมาชิกที่ถูกควบคุมโดย Binance เพิ่มขึ้นเกี่ยวกับการกลายเป็นส่วนกลางและศักยภาพในการควบคุม

การขยายขนาดเทียบกับความไว้วางใจ: ความไว้วางใจมักเป็นเหยื่อในการค้นหาความขยายขนาด เครื่องมือการจำลองที่ใช้ในปัจจุบันไม่มีประสิทธิภาพ และการสรรหาผู้ทำการจำลองหรือผู้ดำเนินงานโหนดเป็นเรื่องซับซ้อนและใช้เวลามาก ปัจจัยเหล่านี้เป็นสาเหตุของค่าใช้จ่ายสูงที่มีผลต่อความสามารถในการขยายขนาด

เพื่อตอบสนองต่อปัญหาเหล่านี้ Succinct สนับสนุนสโลแกน "Programmable Truth" สถาปัตยกรรมบล็อกเชนในปัจจุบันสร้างขึ้นจากความไว้วางใจซึ่งเปราะบางอย่างยิ่งเมื่อต้องเผชิญกับธรรมชาติของมนุษย์ ดังที่ Uma ผู้ก่อตั้งกล่าวว่า "โครงสร้างเหล่านี้พึ่งพาความจริงการเข้ารหัส ไม่ใช่ความไว้วางใจ" (ปลอดภัยด้วยความจริงการเข้ารหัส ไม่ใช่ความไว้วางใจ) การนําหลักฐาน Zero-Knowledge (ZK) มาใช้อย่างแพร่หลายถูกมองว่าเป็นวิธีเดียวที่จะบรรลุสถาปัตยกรรมบล็อกเชนรุ่นใหม่ที่มีความปลอดภัยปรับขนาดได้และเป็นนวัตกรรมใหม่

ปัญหาที่ 2: ZK Proofs สำคัญ แต่ซับซ้อนเกินไป

ปัจจุบัน การใช้ ZK proofs ต้องการปรับแต่งมากมาย ที่ Succinct ได้ทำงานกับโครงการ ZK Bridge จำนวนมากแล้ว และรู้ว่าแต่ละโครงการต้องการปรับแต่งที่ซับซ้อนและต้องถูกนำไปใช้ซ้ำ สำคัญที่สุดคือไม่มีใครชอบเขียนวงจร ZK (วงจรเป็นการแสดงฟังก์ชันตรรกะในบริบทของการพิสูจน์ที่ไม่มีความรู้) ซึ่งต้องการความรู้ด้านคณิตศาสตร์อย่างละเอียด

ในขั้นตอนนี้ บริษัท Succinct รู้จักว่าคำตอบอยู่ใน zkVM (Zero-Knowledge Virtual Machine) ซึ่งเป็นที่นำพาไปสู่การพัฒนา SP1 นักพัฒนาสามารถนำโค้ด Rust ไปใช้งานจริง ตรวจสอบ และขอพิสูจน์ ทำให้การกำหนดค่า API ง่ายขึ้นมาก Succinct ยังมีเบราว์เซอร์พิสูจน์ที่ซึ่งช่วยให้นักพัฒนาสามารถดูพิสูจน์ทั้งหมดและติดตามทุกอย่าง

ปัญหาที่ 3: โดเมนพิสูจน์ ZK ปัจจุบันถูกแยกแยะ

จุดนี้เกี่ยวกับอนาคต พวกเขาเชื่อว่า ถึงแม้ว่าเทคโนโลยี ZK กำลังก้าวหน้าอย่างรวดเร็ว แต่โซ่หมุนเวียนสำหรับพิสูจน์ ZK มีการแยกแยะและไม่สามารถทำความเข้าใจกับการก้าวหน้าในเทคโนโลยี ZK

ดังนั้น DApps ปัจจุบันที่ขึ้นอยู่บน ZK proofs ต้องการนักพัฒนาให้ทำการปรับใช้สำหรับความต้องการเฉพาะโดยทั่วไป ซึ่งมักจะส่งผลให้การใช้งานครั้งเดียวและเกินขึ้นในการพึ่งพาที่จุดอยู่ที่ในศูนย์กลาง ซึ่งทำให้ความเร็วในการพัฒนาช้าลงและเพิ่มค่าใช้จ่าย การรวมการออกแบบการปรับใช้มาตรฐานลงในทุก ๆ ส่วนของ stack รวมถึง L2, co-processors, Bridges, เป็นต้น ต้องการโครงสร้างพื้นฐาน ZK ที่ซับซ้อนมากขึ้น นี้คือเป้าหมายที่ Succinct Prover Network ซึ่งกำลังอยู่ในกระบวนการพัฒนา

กลไกผลิตภัณฑ์และการดำเนินงานของ Succinct

The Open Source zkVM, SP1

แหล่งที่มา: เว็บไซต์อย่างเป็นทางการ

ในวันที่ 14 กุมภาพันธ์ 2024 Succinct ประกาศเผยแพร่ SP1 บน Twitter การพัฒนาของ SP1 มีความคล้ายคลึงกับการวิวัฒนาการของ AI ก่อน GPT-4 การมีส่วนร่วมในการพัฒนา AI ต้องการชุดงานที่ซับซ้อน: การเก็บข้อมูล การทำความสะอาดข้อมูล การฝึกโมเดล การปรับแต่งโมเดล ฯลฯ รวมถึงความเชี่ยวชาญที่เกี่ยวข้อง ด้วยการเป็นจริงของ GPT-4 ใครก็สามารถใช้ AI โดยการเรียกใช้ OpenAI API

ในทางเดียวกัน SP1 หรืออะไรก็ตามที่เป็น zkVM โอเพนซอร์สระดับขั้นสูง เหมือนกับ GPT-4 ของโลก Zero-Knowledge Proof (ZKP) ในอนาคต ทุก zkRollups zk Oracles หรือ zkBridges จะสามารถพิสูจน์โค้ด ZKP ของพวกเขาที่เขียนด้วยภาษา Rust หรือ WASM มาตรฐานผ่าน zkVM โดยไม่ต้องสร้างวงจรซับซ้อน

ก่อนหน้านี้เชื่อกันว่าโครงการ ZK ต้องเขียนวงจรที่กําหนดเองเพื่อให้ได้ประสิทธิภาพที่ใช้งานได้ อย่างไรก็ตาม SP1 ได้นําประสิทธิภาพของ zkVM เอนกประสงค์มาใกล้เคียงกับวงจร ZK ที่กําหนดเอง ซึ่งสะท้อนความรู้สึกของผู้ก่อตั้ง Uma ที่ว่า "ทิ้งสิ่งที่วงจรนรกทั้งหมดไว้เบื้องหลัง"

SP1 มีแพ็คเกจและไลบรารีจํานวนมากสําหรับนักพัฒนาเพื่อนํากลับมาใช้ใหม่โดยมีความเปิดกว้างอย่างสมบูรณ์เป็นส่วนที่สําคัญที่สุด zkVMs ที่ผ่านมามีตรรกะข้อ จํากัด แบบปิดที่ไม่สามารถแก้ไขได้ ในทางกลับกัน SP1 ใช้สถาปัตยกรรมโมดูลาร์ที่สามารถปรับแต่งได้ตั้งแต่เริ่มต้น ความสามารถในการปรับแต่งนี้ช่วยให้นักพัฒนาสามารถเพิ่ม "precompiles" ลงในตรรกะหลักของ zkVM ซึ่งช่วยเพิ่มประสิทธิภาพได้อย่างมาก

ความสําคัญของการเป็นโอเพ่นซอร์สไม่สามารถพูดเกินจริงได้ RISC Zero คู่แข่งหลักในสาขานี้มีตรรกะหลักแบบปิด แม้ว่าเวอร์ชันที่คอมไพล์แล้วจะเป็นโอเพ่นซอร์ส แต่ก็ไม่สามารถแก้ไขได้โดยทีมภายนอก การที่ Succinct ไม่สามารถปรับเปลี่ยน RISC Zero ได้กระตุ้นให้ทีมสร้าง zkVM แบบโอเพนซอร์สอย่างแท้จริง โดยมีเป้าหมายเพื่อผลิตภัณฑ์ที่ปรับแต่งได้ ปรับเปลี่ยนโดยชุมชน และปราศจากความเสี่ยงของผู้ขายหรือแพลตฟอร์ม

เหตุผลอีกอย่างสำหรับการเน้นในเรื่องของโอเพนซอร์สคือ SP1 เองถูกพัฒนาขึ้นโดยใช้ Plonky3 จาก Polygon Zero เช่น ตรรกะข้อจำกัดของ Succinct ถูกแสดงออกมาโดยใช้ Air Builder ของ Plonky3 Plonky เป็นไลบรารี/เครื่องมือชิ้นส่วนที่สามารถใช้ในการสร้างระบบพิสูจน์ใหม่และ zkVMs พร้อมด้วยชุมชนโอเพนซอร์สที่แข็งแกร่ง Succinct ได้ใช้ Plonky2 ในโครงการหลายๆ โครงการในอดีต โดย Plonky3 เป็นรุ่นที่มีคุณภาพสูงขึ้นของ Plonky2 ที่ยังคงถูกปรับปรุงอย่างต่อเนื่อง Succinct ได้รวมรหัส PRs บางส่วนเข้ากับช่วงบนของ Plonky3 เอง มีส่วนร่วมในชุมชนโอเพนซอร์สของ Plonky

เครือข่ายพิสูจน์แบบกระจาย: เครือข่ายพิสูจน์อย่างกระชับ

เครือข่าย Succinct Prover กําลังอยู่ในระหว่างการพัฒนา เป็นเครือข่ายเลเยอร์โครงสร้างพื้นฐานที่โฮสต์ทําให้แอปพลิเคชันแบบกระจายอํานาจ (DApps) สามารถจ้างกระบวนการสร้างหลักฐานจากภายนอกไปยังตลาดการพิสูจน์ ด้วยการใช้ SP1 หรือ zkVM อื่น ๆ นักพัฒนาสามารถปรับใช้ DApps ที่ใช้การพิสูจน์ความรู้เป็นศูนย์ (ZK) บนเครือข่ายได้อย่างง่ายดาย นอกจากนี้เครือข่ายนี้ทําหน้าที่เป็นตลาดแบบเปิด: นักพัฒนาจะต้องส่งคําขอหลักฐานไปยังเครือข่ายเท่านั้นและกลไกการประมูลจะจับคู่คําขอเหล่านี้กับผู้พิสูจน์ที่ทํางานบนฮาร์ดแวร์ล่าสุด Provers ยังสามารถรับค่าธรรมเนียมโดยการสร้างหลักฐานที่คุ้มค่าและเชื่อถือได้ภายในเครือข่ายแบบเปิดนี้

อนาคตของห่วงโซ่หมุนเวียนพิสูจน์

เมื่อมีการสร้างหลักฐานจะเกี่ยวข้องกับผู้เข้าร่วมและขั้นตอนที่หลากหลายซึ่งสามารถเรียกได้ว่าเป็นห่วงโซ่อุปทานการพิสูจน์ การสร้างหลักฐานทํางานดังนี้: นักพัฒนาขอหลักฐานแสดงตรรกะของพวกเขาโดยใช้ระบบพิสูจน์บางอย่างไม่ว่าจะเป็นผ่านวงจรหรือ zkVM; จากนั้นหลักฐานจะถูกสร้างขึ้นและอาจเป็น aggreGate.iod ก่อนที่จะถึงห่วงโซ่ของ DApp ในเดือนพฤศจิกายน 2023 Succinct ได้เปิดตัว "ส่วนหน้า" แรกของ Succinct Prover Network: alpha.succinct.xyz DApps สามารถปรับใช้ผ่านมันได้แล้ว สิ่งนี้แสดงถึงห่วงโซ่อุปทานหลักฐานที่เรียบง่ายโดยแพลตฟอร์ม Succinct เองในปัจจุบันทําหน้าที่เป็นห่วงโซ่อุปทานหลักฐานที่สมบูรณ์ อย่างไรก็ตามนี่ไม่ใช่รัฐที่ยั่งยืนเนื่องจากเหตุผลหลักสองประการ: ความยากลําบากในการกําหนดราคาเนื่องจากความซับซ้อนของห่วงโซ่อุปทานหลักฐานเพิ่มขึ้นความยากลําบากในการกําหนดราคาก็เช่นกัน และฮาร์ดแวร์สามารถแนะนําความซับซ้อนในการกําหนดราคาด้วยศักยภาพสําหรับซัพพลายเออร์ฮาร์ดแวร์ต่างๆทําให้เกิดคําถามว่า DApp ต้องการเจรจากับซัพพลายเออร์ฮาร์ดแวร์ที่แตกต่างกัน 20 รายเพื่อค้นหาราคาหรือความจุที่ดีที่สุดหรือไม่

สิ่งที่ Succinct ตั้งเป้าที่จะทําคือการจัดหาพื้นที่สําหรับทุกคนในห่วงโซ่อุปทานหลักฐานเพื่อประสานงานซึ่งกันและกันทําให้ตลาดเครือข่ายหลักฐานแบบเปิดเป็นองค์ประกอบสําคัญของห่วงโซ่อุปทานหลักฐานทั้งหมด ในระบบนิเวศห่วงโซ่อุปทานที่พิสูจน์ได้ในอนาคตเนื่องจาก DApps และโครงสร้างพื้นฐานทั้งหมดสืบทอดระบบพิสูจน์ ZK ล่าสุดและเทคโนโลยีฮาร์ดแวร์ที่กําหนดเองภายใน Succinct Prover Network ตลาดเครือข่ายพิสูจน์แบบกระจายอํานาจนี้จะบรรลุการประหยัดต่อขนาด สิ่งนี้ช่วยให้นักพัฒนาสามารถเข้าถึงหลักฐาน ZK ที่มีประสิทธิภาพและราคาไม่แพง (กลไกตลาดเสรีที่แข่งขันได้ทําให้มั่นใจได้ว่า DApps จะได้รับต้นทุนที่ต่ําที่สุด) ในอนาคตการพิสูจน์แบบกระจายอํานาจสามารถสร้างขึ้นบนฮาร์ดแวร์ต่างๆลดต้นทุนการพิสูจน์ได้ 10-100 เท่าในที่สุดก็ทําให้การพิสูจน์ ZK ใช้ได้กับโครงสร้างพื้นฐานทั้งหมด

การวิเคราะห์คู่แข่งทางธุรกิจ

โครงการโอเพนซอร์สมีวัตถุประสงค์ที่คล้ายคลึงกับ SP1 มาก

• ทีมของแอนดรีสเซิน ซึ่งรวมถึงจัสติน เทลเลอร์ และแซม แร็กสเดล ได้ทำการวิจัยเกี่ยวกับ Lasso และ Jolt อย่างละเอียดอีกด้วย ซัคซิงค์เชื่อว่าการพัฒนาเทคโนโลยีเหล่านี้อาจเป็นส่วนหนึ่งของ SP1 ในอนาคต และกลับกัน
• โครงการที่ขึ้นอยู่กับวิธีการพับ
• โครงการอื่น ๆ ที่คล้ายกับวิธี ZK-Stark-FRI

ทีมบอกว่าหากเป็นไปได้ อนาคต Succinct Prover Network จะสนับสนุนไม่เพียงแค่ SP1 แต่ยังรองรับ Lasso, Jolt, หรือ RISC Zero ซึ่งเป็นโครงการโอเพ่นซอร์ส เน้นความโมดูลาริตีและความยืดหยุ่นสมบูรณ์ เพียงอย่างเดียวนี้สามารถให้ความแข็งแกร่งในการพัฒนาเทคโนโลยี ZK อย่างรวดเร็วและยั่งยืนที่สุด

โครงการโอเพ่นซอร์สมีวัตถุประสงค์ที่คล้ายกับ SP1 โดยทีมของ Andreessen ซึ่งรวมถึง Justin Thaler และ Sam Ragsdale ได้ทำการวิจัย Lasso และ Jolt อย่างละเอียด บริษัท Succinct เชื่อว่าการพัฒนาเทคโนโลยีเหล่านี้อาจเป็นส่วนหนึ่งของ SP1 ในอนาคต และในทางกลับกัน

ทีมระบุว่าหากเป็นไปได้ อนาคต Succinct Prover Network จะสนับสนุนไม่เพียง SP1 เท่านั้น แต่ยังรวมถึง Lasso, Jolt, หรือ open-source RISC Zero ด้วย เนื่องจากพวกเขามุ่งหวังสู่ความโมดูลาริตีและความยืดหยุ่นที่สมบูรณ์ การเข้าถึงเพียงอย่างเดียวนี้สามารถรับรองการพัฒนา ZK technology อย่างรวดเร็วในทางที่ยั่งยืนที่สุด

สรุป

ความปลอดภัย

ในปัจจุบัน แผนที่สำหรับ Succinct มีเพียงพื้นฐานเท่านั้น และไม่รับผิดชอบในเรื่องความปลอดภัย ในพื้นฐานแล้ว มันเป็นเพียงวิธีการในการจัดเก็บไบนารีวงจร และ API ซึ่งสามารถใช้ในการขอพิสูจน์ ดำเนินการพิสูจน์แบบกระจายขนาดใหญ่ และอื่น ๆ วงจรเองต้องได้รับการตรวจสอบ และนักพัฒนาที่เขียนวงจรเหล่านี้ต้องรับรองความสมบูรณ์ของสิ่งที่กำลังถูกพิสูจน์ ไม่ใช่แพลตฟอร์ม ความยากลำบากในการเขียนและตรวจสอบวงจรอาจยังเป็นอุปสรรคต่อการนำ ZK (Zero-Knowledge) proofs เข้าสู่การใช้งานโดยส่วนใหญ่

ขีดจำกัดสูงสำหรับโหนด

ซอฟต์แวร์โหนดที่ใช้งานจริงบนเครือข่าย Succinct Prover Network อาจจำกัดมาก เนื่องจากมีข้อกำหนดสูงสำหรับผู้ให้หลักฐานที่ต้อง:

• เข้าร่วมการประมูลพิสูจน์ ข้อเสนอที่จะสร้างพิสูจน์ในราคาที่ certain
• สามารถดาวน์โหลดไฟล์ไบนารีและสร้างงาน
• สามารถเรียกใช้งานและสร้างพิสูจน์ได้จริง

ดังนั้นในอนาคต Succinct อาจต้องพิจารณาว่าเค้าควรมีเครือข่ายสะสมหรือกิจกรรมใดที่สามารถส่งเสริมการเข้าร่วมของ provers