Οι προγραμματιστές του Ethereum συζητούν το νέο πρότυπο για τις αναφορές ελέγχου εντός της αλυσίδας

Οι προγραμματιστές του Ethereum έχουν προτείνει ένα νέο πρότυπο έξυπνων συμβολαίων που προορίζεται να βοηθήσει τους χρήστες να αναζητήσουν ελέγχους έξυπνων συμβολαίων για πρωτόκολλα DeFi.

Οι προγραμματιστές έχουν συζητήσει ζωηρά ERC-7512 από τότε που δημοσιεύτηκε για πρώτη φορά στο φόρουμ Ethereum Magicians από τον Richard Meissner, τον συνιδρυτή του Safe, στις 5 Σεπτεμβρίου. Προγραμματιστές που εκπροσωπούν τις OtterSec, ChainSecurity, OpenZeppelin, Ackee Blockchain και Hats Finance συνεισέφεραν επίσης στο πρόταση.

«Η πρόταση στοχεύει στη δημιουργία ενός προτύπου για μια on-chain αναπαράσταση εκθέσεων ελέγχου που μπορεί να αναλυθεί από συμβάσεις για την εξαγωγή σχετικών πληροφοριών σχετικά με τους ελέγχους, όπως ποιος πραγματοποίησε τους ελέγχους και ποια πρότυπα έχουν επαληθευτεί», έγραψαν οι συγγραφείς. "Για να παρέχουμε ισχυρές εγγυήσεις σχετικά με την ασφάλεια και να επιτρέψουμε καλύτερη συνθεσιμότητα, είναι σημαντικό να είναι δυνατό να επαληθευτεί στην αλυσίδα ότι μια σύμβαση έχει ελεγχθεί."

Ενώ η πρόθεση της πρότασης έχει λάβει ευρεία υποστήριξη από την κοινότητα, οι προγραμματιστές συζητούν τα καλύτερα σημεία για τον τρόπο εφαρμογής του προτύπου.

«Η ιδέα της διεξαγωγής ελέγχων στην αλυσίδα είναι χρήσιμη», απάντησε Δεξαρά, ο ιδρυτής του Callisto Network. «Ωστόσο, η εφαρμογή που προτείνεται σε αυτό το ERC είναι υπερβολικά περίπλοκη».

Ο Dexara και άλλοι προτείνουν τη χρήση ενός μητρώου για την οργάνωση ελέγχων με τη μορφή μη μεταβιβάσιμων Soulbound Tokens ως εναλλακτική λύση στην ανάπτυξη ενός νέου προτύπου Ethereum. Ο Meissner απάντησε ότι το προτεινόμενο ERC θα μπορούσε να χρησιμοποιηθεί στο πλαίσιο ενός μητρώου, αλλά προειδοποίησε ότι το να βασίζεσαι αποκλειστικά σε ένα μητρώο προσφέρει «μια πολύ συγκεντρωτική προσέγγιση».

"Αυτό το ERC επικεντρώνεται στην τυποποίηση του τι πρέπει να υπογράψουν οι ελεγκτές, αντί στον καθορισμό του μητρώου." προστιθέμενη Shay Zluf. «Ο στόχος είναι να διασφαλιστεί η συνεπής επαλήθευση σε όλο το οικοσύστημα».

Ο Meissner σημείωσε επίσης ότι ενώ οι έλεγχοι ασφαλείας είναι χρήσιμοι, δεν εγγυώνται ότι ο κώδικας ενός πρωτοκόλλου είναι αδιαπέραστος.

Για παράδειγμα, η πολυαναμενόμενη κυκλοφορία του ΜΠΑΝΑΝΑ, το διακριτικό για ένα bot διαπραγμάτευσης Telegram, έληξε με δάκρυα ώρες μετά την ανάπτυξή του, όταν ανακαλύφθηκε ένα σφάλμα στο έξυπνο συμβόλαιο, παρά το γεγονός ότι η ομάδα ισχυρίστηκε ότι ο κώδικάς του υποβλήθηκε σε δύο ελέγχους.

Ωστόσο, ο χρήστης του Twitter punk9059 έτρεξε τον κώδικα του BANANA μέσω του δημοφιλούς chatbot AI, ChatGPT, το οποίο εντόπισε αμέσως το πρόβλημα.