Greek
Search…
⌃K
Links

Προστασία

Bug Bounty

Έλεγχοι

WOOFi Swap (Alpha) - Οκτώβριος 2021

CertiK

​Το CertiK ηγείται της ασφάλειας blockchain πρωτοπορώντας στη χρήση της τεχνολογίας αιχμής Formal Verification σε έξυπνα συμβόλαια και blockchain. Σε αντίθεση με τους παραδοσιακούς ελέγχους ασφαλείας, η επίσημη επαλήθευση αποδεικνύει μαθηματικά την ορθότητα του προγράμματος και την αντίσταση στους χάκερ.
Η πλήρης έκθεση ελέγχου δημοσιεύεται εδώ από τον ελεγκτή, μπορείτε επίσης να βρείτε το συνημμένο παρακάτω.

Verilog

Η Verilog είναι μια εταιρεία ελέγχου έξυπνων συμβολαίων που ιδρύθηκε από καθηγητές blockchain, ερευνητές και αποφοίτους του University of British Columbia στο Βανκούβερ, BC, Καναδάς. Όλοι οι συνιδρυτές εργάζονταν για 5+ χρόνια στο Layer 1/Layer 2 και στο DeFi στη βιομηχανία πριν ιδρύσουν την Verilog και εξακολουθούν να ηγούνται της έρευνας για την αλυσίδα blockchain, το DeFi, την ασφάλεια στον κυβερνοχώρο που υποστηρίζεται από το Συμβούλιο Ερευνών Φυσικών Επιστημών και Μηχανικής του Καναδά και το Public Ασφάλεια Καναδά. Οι άνθρωποι της Verilog δεσμεύονται να παρέχουν την έκθεση ελέγχου υψηλής ποιότητας και τις επαγγελματικές προτάσεις ασφάλειας στις ομάδες έργου DeFi και στους επενδυτές τους.
Η πλήρης έκθεση ελέγχου δημοσιεύεται εδώ από τον ελεγκτή.

WOOFi Stake - Δεκέμβριος 2021

Ο Certik διεξήγαγε έλεγχο στις συμβάσεις δέσμευσης WOOFi, η πλήρης έκθεση ελέγχου δημοσιεύεται εδώ από τον ελεγκτή, το συνημμένο βρίσκεται παρακάτω.

WOOFi Earn - Φεβρουάριος 2022

Ο Certik διεξήγαγε έλεγχο στα συμβόλαια κερδών WOOFi, η πλήρης έκθεση ελέγχου δημοσιεύεται εδώ, επισυναπτόμενο βρίσκεται παρακάτω
REP-WOOFi-2022-02-07.pdf
695KB
PDF
Copyright © 2023 WOO Network. All Rights Reserved.