Natapos na ng CertiK ang isang security audit ng Mycro

Ipinagmamalaki ng CertiK na ipahayag ang isang nakumpletong pag-audit ng Mycro nangunguna sa kanilang paparating na IEO.

Ang Mycro ay isang proyekto ng blockchain na nagkokonekta at nagbibigay kapangyarihan sa mga tao sa mga solusyon sa magkabilang panig ng gig na ekonomiya, na nagkokonekta sa mga panandaliang proyekto ng trabaho sa isang aktibong freelance network. Sa pamamagitan ng pagpapasadya ng system sa isang network ng blockchain, ang mga pagbabayad at mga pagsusuri ay maging ligtas at maaasahan, na nagbibigay lakas sa mga mamimili.

Ang Mycro ay isang platform na pinagana ng blockchain na naglalayong mag-alok ng maliliit na trabaho sa mga lokal na komunidad. Ang sistemang ito ay binuo sa isang platform ng pag-review ng blockchain, na nagpapahintulot sa mga gumagamit na kumita ng napatunayan at lehitimong mga pagsusuri para sa kanilang mga serbisyo o pag-post ng trabaho, na nagpapahintulot sa mga gumagamit na bumuo ng tiwala at reputasyon para sa kanilang mga proyekto at pag-post.

Ang Mycro ay may isang mapaghangad, proyekto na unang tao na nangangailangan ng kaligtasan at tiwala hindi lamang para sa mga pinansiyal na layunin ngunit upang matiyak din ang pagiging tunay ng kanilang sistema ng pagsusuri. Upang maprotektahan ang kanilang mga gumagamit sa parehong harapan, hiniling ng Mycro ang isang kasosyo sa seguridad na maaaring masukat sa tabi nila upang magbigay ng data at proteksyon sa pananalapi para sa mga gumagamit sa buong mga puntos ng pag-access.

Hanggang dito, pinili ni Mycro na makipagtulungan sa CertiK para sa walang kapantay na mga kakayahan sa seguridad upang mapatunayan ang kanilang code at system.

Ang Proseso ng Audit

Ang pag-awdit ay isinasagawa ng pangkat ng mga nakaranas ng security engineers at consultant ng CertiK, at isinasagawa ang paggamit ng Formal Verification Platform ng CertiK, Static Analysis, at Manual Review.

Sa pangkalahatan, natagpuan ng koponan ang code ni Mycro na sundin ang mga mabubuting kasanayan. Sa pangwakas na pag-update ng source code at paghahatid ng ulat ng pag-audit, nagtatapos kami na ang kontrata ay hindi mahina laban sa anumang klasikal na kilalang mga anti-pattern o mga isyu sa seguridad.

Gusto ni CertiK na batiin ang koponan sa pagpasa ng mahigpit na proseso ng pag-verify.

Tungkol sa CertiK

Ang CertiK ay isang blockchain at matalinong platform ng pag-verify ng kontrata na itinatag ng mga nangungunang eksperto sa Pormal na Pag-verify mula sa Yale at Columbia University. Binubuo ng Binance Labs, ang Certik ay may strategic na pakikipagsosyo sa nangungunang mga palitan ng crypto tulad ng Binance, OKEx, at Huobi, pati na rin ang mga protocol tulad ng NEO, ICON, at QuarkChain.

Ang pormal na pamamaraan ng pagpapatunay ng CertiK ay gumagana nang naiiba kaysa sa mga tradisyunal na diskarte sa pagsubok: sa halip na gumana nang manu-mano, ang CertiK matematiko ay nagpapatunay ng blockchain ecosystem at matalinong mga kontrata ay ang hacker-resistant at bug-free sa scale. Ang CertiK ay nakakuha ng higit sa $ 4B sa halaga ng pag-aari, pag-awdit ng maraming mga proyekto sa lahat ng mga pangunahing protocol, kabilang ang BNB, Terra, Crypto.com, at TUSD.

Upang hilingin ang pag-audit / pagpapatunay ng iyong mga matalinong kontrata, mangyaring mag-email sa audit@certik.org o bisitahin ang sertik.orgupang isumite ang kahilingan.

Twitter: https://twitter.com/certikorg

Telegram: https://t.me/certikorg

https://bitcointalk.org/index.php?action=profile