Blokķēdes pasaulē viedo līgumu drošība ir ļoti nopietna lieta, un tā ir vislabāk jāaizsargā, lai izvairītos no aktīvu un uzglabātās informācijas riskiem. Lai atrisinātu šo problēmu, CertiK (CTK) radās ar misiju nodrošināt efektīvus pasākumus pret pikšķerēšanas uzbrukumiem vai datoru uzlaušanu.
Tātad, kas ir Certik? Ar ko šis projekts izceļas? Nākamajā rakstā Coincu sniegs plašu informāciju par CertiK projektu un tā CTK pilnvaru.
Kas ir CertiK?
CertiK ir platforma viedo līgumu testēšanai bez cilvēka līdzdalības, un visas darbības tiek veiktas automātiski. Decentralizētās un blokķēdes lietotnes izmantos ekosistēmu. CTK marķieri tiek izmantoti projekta iekšējiem darījumiem. Projekta izstrādātājs saka, ka viņa risinājums var novērst kļūdu un ievainojamību iespējamību programmā. Jauna ieguves sistēma, kuras pamatā ir koncepcijas pierādīšanas algoritms un ekonomisks modelis, kura pamatā ir CTK marķieru izmantošana kā stimuls ekosistēmu spēlētājiem.
CertiK ķēde
CertiK Chain ir uz konsensu balstīta deleģētā apliecinājuma (DPoS) blokķēde, kuras mērķis ir kalpot par pamatu infrastruktūras blokķēdēm un decentralizētām lietojumprogrammām. Tā aptver daudzus lietojumprogrammu izvietošanas procesa soļus, piemēram, viedlīgumu kompilāciju, ģenerētā baitkoda pārbaudi salīdzinājumā ar pirmkodu un izpildes pārbaudi mezglā.
DPoS ieviešana ar noteiktu drošību ļauj projektam pieņemt spēcīgus pretuzbrukumu pasākumus pret tādiem uzbrukumiem kā viltoti starpķēžu darījumi vai kvantu datoru uzlaušana.
CertiK Chain arhitektūra sastāv no sešiem atšķirīgiem moduļiem katram līmenim. Katrs modulis ir atbildīgs par pirmkoda kompilēšanu un validēšanu, kompilācijas rezultātu pārskatīšanu, paraksta ģenerēšanu no pirmkoda un bloku montāžu, pamatojoties uz parakstu. Komunikācijas moduļi ir ieviesti gan Ethereum, gan IPFS, izmantojot komunikācijas kanālus. CertiK Chain ir saderīgs ar vairākiem protokoliem, tostarp ERC-20, ERC-223 un Nano. Tā galvenais mērķis ir apkalpot visu galveno lietojumprogrammu spektru, lai nodrošinātu tirgus likviditāti.
Galvenās sastāvdaļas
Tika ieviests CertiK pamattīkls un daudzi programmatūras risinājumi, piemēram, CertiKOS operētājsistēma, DeepSEA programmēšanas valoda, CertiK Security Oracle un CertiK virtuālā mašīna. Projekta ievērojamās īpašības ietver:
CertiK drošības orākuls
Blokķēdē Oracle tiek izmantots, lai pārsūtītu ārpus ķēdes esošos datus uz viedajiem līgumiem un no tiem. CertiK drošības orakula mērķis ir iegūt drošības rādītāju kopumu no decentralizēta drošības operatoru tīkla, kas ir atbildīgs par avota koda uzticamības novērtēšanu. Veicot reāllaika drošības pārbaudes, ko nodrošina decentralizēts ieguves tīkls, ķēdes darījumi tiek aizsargāti no ļaunprātīgiem uzbrukumiem.
CertiKOS
CertiKOS ir vieda, uz līgumiem balstīta operētājsistēma, kas koncentrējas uz drošību un noturību pret hakeru uzbrukumiem.
Skynet
Skynet ir vienots drošības rīku komplekts, kas izmanto automatizētus algoritmus, lai novērtētu izvietotos viedos līgumus pret dažādām zināmām ievainojamībām plašā mērogā. Skynet nodrošina viedos līgumus ar precīziem drošības rādītājiem, kas norāda uz iespējamu ievainojamību pret uzbrukumiem un koda trūkumiem.
CertiK virtuālā mašīna (CVM)
CVM ir virtuāls dators, kas sniedz konfigurējamu informāciju par viedlīgumu drošību.
Dziļjūra
DeepSEA ir funkcionāla programmēšanas valoda, kas ļauj izstrādātājiem apstrādāt ārkārtīgi sarežģītus kodus verifikācijas laikā, izmantojot Coq pārbaudes palīgu. DeepSEA ir saderīga ar Microsoft CertiK Chain virtuālajām mašīnām, Ethereum WebAssembly un Ant Financial AntChain.
CertiKShield
CertiKShield ir fonds, kas izveidots, lai atgūtu līdzekļus, ko uzbrucēji nozaguši projekta drošības trūkumu dēļ. Šis fonds ir sadarbojies ar labi zināmām iniciatīvām miljardu dolāru vērtībā, tostarp Aave, Celer, Kava un Matic. Komanda tieši ziedoja fondam 1 000 000 CTK.
Galvenais mērķis
Projekta komanda izveidoja decentralizētu pierādījumu sistēmu, kas matemātiski nodrošina, ka norādītais viedais līgums ir bez kļūdām, izturīgs pret hakeru uzbrukumiem un funkcionāli validēts. Tas tiek panākts, izmantojot pārbaudes mehānismu. Projekts ir gatavs risinājums, kas izmanto sertificētus komplektus. Tie ietver tādas īpašības kā:
Viedā marķēšana;
Uz klasēm balstīta sadalīšana;
Korektūras rīks;
Pierādījuma objekts var pārbaudīt mašīnu;
Sertificēta dApp bibliotēka;
Pielāgots sertifikācijas pakalpojums.
Šie komponenti aizsargā viedos līgumus, atzīmējot kritiskās koda daļas un to paredzēto funkcionalitāti, kā arī sadalot verifikācijas procesu mazākos darbos. Pēc tam visi komponenti tiek apvienoti pilnībā funkcionējošā un pārbaudītā viedajā līgumā.
Lai sasniegtu iepriekšminētos mērķus, projekts integrē modeli ar mašīnmācīšanās (dziļās mācīšanās) aspektiem. Sistēma automatizē procedūru, izmantojot mašīnmācīšanos, un kontekstualizē visu savu darba vēsturi, izmantojot savu evolucionāro mācīšanos. Platforma nākotnē spēs matemātiski aprakstīt un automātiski kategorizēt līgumus, pamatojoties uz to pareizu funkcionalitāti. Šī tehnoloģija ļaus veikt ļoti precīzu verifikāciju, kā arī dinamisku, precīzu un automatizētu līgumu analīzi. Mezgli, kuros darbojas programmatūra, validē gatavos pierādījumus.
CertiK ir protokolu un viedlīgumu auditēšanas pakalpojums. Tā unikālā iezīme ir tā, ka formālā pārbaude ir automatizēta, zināmā mērā decentralizēta un to var veikt jebkurā programmēšanas valodā.
Kā tas darbojas?
Kopumā visu CertiK izpētīto, ieviesto un izveidoto platformu un lietojumprogrammu mērķis būs mērīt darījumu drošību.
Turklāt, izmantojot šo platformu, lietotnes varēs pieņemt precīzus lēmumus par darījumu veikšanu, kas ir daļa no darījuma.
Tās operētājsistēma sastāv no šādiem galvenajiem komponentiem:
Biznesa ķēde: Certik fonds integrēs Security Oracle kā tiltu, lai palīdzētu projektam piekļūt informācijai vai datiem par darījumu drošību un reputāciju.
CertiK ķēde: Ar šo komponentu lietotājiem tiks nodrošināta CTK un viņiem būs jāreģistrējas uzdevumiem. Vienlaikus Oracle operatoru vienības koordinēs darbības, lai ķēdē reģistrētu pabeigtos uzdevumus.
Rezultātā katrs operators tiks salīdzināts ar primitīvo operatoru, lai pārbaudītu un atkārtoti pārbaudītu visu drošību. Pēc tam CertiK Chain iesniegs rezultātus Security Oracle.
CTK žetons
CertiK Coin (CTK) ir ekosistēmas iekšējā valūta, kas tiek izmantota viedlīgumu darbībām, likmju likšanai, Oracle Secure Network dalības balvām, aktīvu atbalstam un atmaksām. Kopiena šajā procesā izmanto arī CertiKShield, kā arī balsošanu. Tā tiek izmantota kā mehānisms platformā ar decentralizētu tīkla pārvaldību. CertiK Chain ietver arī Proof-of-Stake (DPO) blokķēdi, kas tika izveidota, izmantojot Cosmos SDK. Projekts ir paredzēts kā platforma uzticamas blokķēdes infrastruktūras un decentralizētu lietotņu izstrādei. CertiK Chain ir paredzēts, lai aizsargātu daudzu veidu blokķēdes produktus, sākot no izstrādes līdz ieviešanai, ar iebūvētām blokķēdes funkcijām, piemēram, Oracle Security, CertiKShield Return un Super Secure Programming Language (DeepSEA).
Galvenie rādītāji
Nosaukuma marķieris: CertiK.
Biržas kods: CTK.
Bloķķēde: CertiK blokķēde.
Konsensa mehānisms: DPoS.
Standarts: BEP-20.
Adrese: 0xa8c2b8eec3d368c0253ad3dae65a5f2bbb89c929.
Žetona veids: Komunālie pakalpojumi, Pārvaldība.
Kopējais piedāvājums: 121 463 502 tūkstoši vienību.
Apgrozībā esošā piegāde: 92 380 396 CTK.
Birža: Binance, Gate.io, BingX, Bitfinex, Uniswap…
Piešķīrums
Privātā pārdošana 1: 29%.
Fonds: 25%.
Kopienas fonds: 17,5 %.
Komanda: 10%.
CertiKShield kopums: 8%.
Privātā pārdošana 2: 9%.
Binance Launchpool: 1,5 %.
Izlaišanas grafiks
Binance palaišanas kopsumma: 1 500 000 CTK
Privāta pārdošana 1: 3 500 000 CTK
Privātā pārdošana 2: 8 000 000 CTK
Komanda: 2 500 000 CTK
Fonds: 1 000 000 CTK
Kopienas fonds: 5 600 000 CZK
Lietošanas gadījums
CTK žetonu paredzēts izmantot divos veidos
CertiK ķēde
CTK tiek izmantots darījumu komisijas maksu un viedo līgumu apmaksai blokķēdē.
Stakings: Lai aizsargātu tīklu, mezgli steikošanai izmanto CTK.
Balsošana: CTK turētāji var iesniegt un balsot par blokķēdes uzlabošanas ieteikumiem.
CertiK pakalpojumi:
Maksājumi: Izmantojiet CTK, lai segtu auditu, Security Oracle un CertiKShield darbības izdevumus.
CTK tiek izmantots kā nodrošinājuma aktīvs CertiKShield sistēmā.
Vairoga pircēju atmaksas pieprasījumi tiek pieņemti vai noraidīti, balsojot par pieprasījumu priekšlikumiem.
CertiK novērtē projekta drošību
Jebkurš ieinteresēts izstrādātājs var pārbaudīt sava pakalpojuma drošību. Lai to izdarītu, viņam jāpieprasa projekta audits, kas var būt četru veidu atkarībā no audita mērķa:
Pūļa pārdošana vai simboliskais līgums.
Viedais līgums.
Maki un decentralizētās lietotnes.
Blokķēdes protokoli.
CertiK izmantošanas priekšrocības projektu auditam:
Ekspertīze.
Pasūtījuma izpilde aizņem 48 stundas no tā saņemšanas brīža.
Izmantojot ekskluzīvu patentētu tehnoloģiju.
Apmaiņas atzīst audita rezultātus.
Dažiem projektiem tiks sniegts bezmaksas cenu piedāvājums.
Ziņojumu pārredzamība.
Audits tiek veikts šādos posmos:
Avota koda pārskats.
Individuāla pasūtījuma vērtības aprēķins.
Rūpīga avota koda pārbaude.
Izveidojiet ierosināto korektīvo darbību sarakstu.
Pabeidziet auditu un izsniedziet atbilstošu sertifikātu.
Komanda
CerrtiK 2018. gadā nodibināja divi akadēmiķi no prestižām ASV koledžām. Viņu galvenā studiju joma ir datorzinātnes.
Profesors Džuns Šao Jeilas Universitātē ir nostrādājis aptuveni 25 gadus.
Profesors Ronghui Gu jau vairāk nekā 5 gadus pasniedz Kolumbijas Universitātē.
Investori un partneri
Investori
Binance Labs bija pirmais riska ieguldījumu fonds, kas 2018. gadā veica neatklātu ieguldījumu šajā projektā. Pēc līdzekļu piesaistes aicinājumiem to finansēja tādi lieli uzņēmumi kā Coinbase, SoftBank, Goldman Sachs un Sequoia.
CertiK ieguva līdzekļus divās privātās pārdošanas kārtās (periods nav norādīts), kuru kopējā summa bija 39,43 miljoni ASV dolāru. Pēc tam audita uzņēmums palielināja B sērijas obligācijas un pagarināja B sērijas obligāciju termiņu kopumā četras reizes. Pēdējā līdzekļu piesaistes kārtā to vērtība tika noteikta 2 miljardu ASV dolāru apmērā.
Partneri
Ekosistēma ir diezgan spēcīga, un tajā piedalās tādi galvenie nozares partneri kā Bitman, Huobi un OKX…
Ceļvedis
Pēdējos gados projekta komanda ir pastāvīgi uzlabojusi platformas kvalitāti un efektivitāti, lai sasniegtu iepriekš noteiktos mērķus, piemēram:
2021. gada februāris: Pilnībā atbloķējiet 9% no otrās privātās pārdošanas
2022. gada aprīlis: Palielināt vakanču skaitu no pirmajiem privātajiem pārdošanas darījumiem par 29%.
2023. gada maijs: Turpināt pilnībā atraisīt 10% no komandas potenciāla.
2023. gada jūnijs: Pilnīga atbloķēšana ar 25% no fonda līdzekļiem.
Secinājums
CertiK platformu izstrādā augsti kvalificēta un pieredzējusi komanda. Tā kā viedlīgumu tehnoloģija nepārtraukti attīstās, projekta, kas spēj visaptveroši pārbaudīt viedlīgumus, pilns potenciāls vēl nav izpaudies. Tā kā viedlīgumi regulē lielu daļu ekosistēmas aktīvu, sertifikācijas process ir būtisks, lai apstiprinātu koda derīgumu un izvairītos no neparedzētiem zaudējumiem vai uzlaušanas.
CertiK automatizē procedūru un nodrošina nemainīgu kvalitāti. Tas nodrošinās ekosistēmas nepārtrauktu attīstību, piedāvājot jaunu, ātru un efektīvu metodi viedo līgumu kvalitatīvai analīzei.
Tas ir paredzēts, lai nodrošinātu drošību ne tikai blokķēdes protokoliem, bet arī jebkurai viedlīgumu lietojumprogrammai. Izmantojot CertiK tehnoloģiju, komanda cer sniegt izstrādātājiem un patērētājiem rīkus, kas nepieciešami, lai uzlabotu savu digitālo aktīvu drošību.
Projekta mērķis ir kļūt par vienu no ievērojamākajām iniciatīvām. Tam ir visas iespējas sadarboties ar ievērojamiem kriptovalūtu uzņēmumiem un decentralizētām biržām, lai nodrošinātu viedo līgumu drošību decentralizēto finanšu jomā. Tas ir tikai laika jautājums, un ieguldījumi CTK ir vislabākie ilgtermiņā.
ATRUNA: Šajā tīmekļa vietnē sniegtā informācija ir sniegta kā vispārīgs tirgus komentārs un nav uzskatāma par ieguldījumu konsultāciju. Pirms ieguldījumu veikšanas mēs iesakām jums veikt savu izpēti.
Pievienojieties mums, lai sekotu jaunumiem: https://linktr.ee/coincu
Harolds
Coincu ziņas