Ο Vitalik Buterin θέλει ένα σκληρό όριο κόστους στην ταχύτερη παραγωγή αποδείξεων του Ethereum, και το δίκτυο δοκιμάζει τώρα αυτή την πρόταση απέναντι σε ακριβώς τον τύπο φόρτου που υποτίθεται ότι θα περιόριζε. Το βασικό πρόβλημα: τα γρήγορα δειγματοληπτούμενα μπλοκ δεν καθορίζουν το μέγιστο φόρτο απόδειξης που μπορεί να αναλάβει ένας κόμβος, και η υπάρχουσα ανάλυση gas CPU του Ethereum δεν μετράει καθόλου την παραγωγή αποδείξεων.
Το κενό στο μοντέλο gas
Η λογιστική gas CPU του Ethereum μετράει το έργο εκτέλεσης. Η απόδειξη είναι ξεχωριστή εργασία, και είναι η ακριβή. Ένα μπλοκ μπορεί να περάσει το όριο gas και να αφήσει τους provers με έναν λογαριασμό που το τρέχον μοντέλο δεν βλέπει ποτέ. Αυτή είναι η τρύπα που το προτεινόμενο όριο του Buterin στοχεύει να καλύψει — ένα σκληρό ανώτατο όριο στο κόστος απόδειξης αντί για έναν δειγματοληπτικό μέσο όρο που κολακεύει τα γρήγορα μπλοκ.
Η δειγματοληψία είναι το αδύναμο σημείο. Τα γρήγορα δειγματοληπτούμενα μπλοκ δείχνουν τι απέδειξε ένας κόμβος σε μια καλή εκτέλεση, όχι τη χειρότερη περίπτωση που πρέπει να επιβιώσει. Αν το όριο βαθμονομηθεί σε αυτά τα δείγματα, δεν είναι όριο. Είναι μια ανάγνωση της καλύτερης περίπτωσης με μια πινακίδα ορίου κολλημένη πάνω της.
Γιατί έχει σημασία ο χρονισμός
Η ώθηση του Ethereum προς ταχύτερη παραγωγή αποδείξεων είναι αυτό που το καθιστά επείγον. Η ταχύτητα και το κόστος έλκουν προς αντίθετες κατευθύνσεις εδώ. Στενότεροι χρόνοι απόδειξης συνήθως σημαίνουν περισσότερους υπολογισμούς ανά μπλοκ, και περισσότεροι υπολογισμοί ανά μπλοκ είναι ακριβώς αυτό που θα περιόριζε ένα σκληρό όριο κόστους. Η δοκιμή ταχύτερης παραγωγής χωρίς πρώτα συμφωνία για το ανώτατο όριο σημαίνει ότι το δίκτυο βρίσκει το όριό του χτυπώντας το.
Η πρόταση δεν επιλύει αυτή την ένταση. Απλώς την ονομάζει. Το όριο του Buterin θέτει έναν αριθμό γύρω από τον οποίο το δίκτυο πρέπει να σχεδιάσει, και η τρέχουσα ανάλυση gas CPU δεν δίνει στους κατασκευαστές κανέναν τρόπο να κοστολογήσουν το έργο απόδειξης που πραγματικά προσθέτουν.
Τι μετράει πραγματικά το τεστ
Τα δειγματοληπτούμενα γρήγορα μπλοκ σου λένε τη διεκπεραιωτικότητα. Δεν σου λένε το μέγιστο φόρτο απόδειξης, που είναι το νούμερο που χρειάζεται ένα σκληρό όριο. Αυτές είναι διαφορετικές μετρήσεις, και η σύγχυσή τους είναι ο τρόπος με τον οποίο ένα όριο κόστους καταλήγει πολύ υψηλό για να προστατεύσει οποιονδήποτε.
Η εργασία του Ethereum που βρίσκεται τώρα σε εξέλιξη δοκιμάζει ταχύτερη παραγωγή αποδείξεων απέναντι σε αυτή τη διάκριση. Το αν το όριο θα κρατήσει εξαρτάται από το αν το κόστος απόδειξης μπορεί να μετρηθεί άμεσα αντί να συναχθεί από γρήγορα δείγματα — και από το αν το μοντέλο gas θα ενημερωθεί ώστε να περιλαμβάνει την παραγωγή αποδείξεων πριν κυκλοφορήσει η ταχύτερη διαδρομή.
Το ανοιχτό ερώτημα
Κανένα χρονοδιάγραμμα δεν έχει συνδεθεί με το όριο κόστους, και κανένας τελικός αριθμός δεν έχει οριστεί. Το επόμενο συγκεκριμένο βήμα είναι η άμεση μέτρηση του φόρτου απόδειξης αντί μέσω δειγματοληπτούμενων γρήγορων μπλοκ. Μέχρι να συμβεί αυτό, το όριο είναι μια πρόταση που τρέχει απέναντι σε ένα μοντέλο gas που δεν μπορεί ακόμη να δει το κόστος που υποτίθεται ότι θα περιορίσει.
