Το συνοπτικό δίκτυο είναι ένα αποκεντρωμένο πρωτόκολλο για την απόδειξη του παγκόσμιου λογισμικού. Το δίκτυο συντονίζει μια ομάδα κατανεμημένων αποδείξεων που δημιουργούν αποδείξεις μηδενικής γνώσης μέσω ενός νέου μηχανισμού κινήτρων που ονομάζεται "ανταγωνισμός απόδειξης" για να δημιουργήσει το πιο αποτελεσματικό και ισχυρό σύμπλεγμα αποδείξεων στον κόσμο. Το Compinct Network εισάγει την έννοια ενός παγκόσμιου συμπλέγματος κατανεμημένων αποδείξεων σχεδιασμένο σε συνδυασμό με το SP1 και τροφοδοτείται από έναν ανταγωνιστικό μηχανισμό δημοπρασίας που ονομάζεται "ανταγωνισμός απόδειξης" για να επεκτείνει σημαντικά τις παγκόσμιες δυνατότητες απόδειξης.