CertiK

ICO Repoet #1

CertiK

پلتفرم CertiK (بخوانيد Certi-K) بزرگ ترين و  پیشرفته ترین شرکت امنیتی سایبری در جهان است که با استفاده از تکنولوژی تایید رسمی (Formal Verification) كه قراردادهای هوشمند و اکوسیستمهای بلاكچین را از لحاظ امنيتي مورد آزمايش قرار ميدهد.

پلتفرم CertiK که توسط استادان فعال در دانشگاه هاي ییل (Yale) و کلمبیا (Columbia) و مهندسان سابق ارشد نرم افزار از گوگل و فیس بوک در آمريكا تاسیس شده است، به سرعت در حال ارائه خدمات امنیتی پیشرو در مبارزه با هك است، ارائه راهکارهای پیشرفته در زمینه امنیت سایبری برای برخی از بزرگترین پروژه های بلاكچين و در تمام پروتکل های عمده . CertiK با استفاده از تایید رسمی تجزیه و تحليل سنتي را به تحلیل استاتیک تبديل كرده ، که به صورت ریاضی نشان می دهد كه آسیب پذیری های فضای هر بلاكچين كه آن را به مخاطره انداخته است چگونه برطرف ميشود.

تأیید رسمی فرایندي است که CertiK با استفاده از سيستمي بر پايه فرمولهاي پیچيده ریاضی (mathematically ) ميتواند ميزان امنیت و صحت قراردادهای هوشمند در بلاكچين را اتعيين كند .

بر خلاف بررسي هاي امنیتی رايج ، تاييد رسمي علاوه بر اينكه  منطق کد نويسي را در مقیاس پلتفرم بررسی می کند به صورت ریاضی نيز هر مقدار را جز به جز در تمام متغیرها زيرذره بين ميبرد.

تأیید رسمی بررسي ميكند که الگوریتم ها، پروتکل ها یا ویژگی های تجاری كه در نظر گرفته شده در حال کار هستند يا نه و با استفاده از استدلال ریاضی دقیق و کامل در برابر کد، آن را رسماٌ تایید می كند

پلتفرم CertiK با انجام بیش از 150 پروژه در تمامي پروتکل های عمده و به عنوان كنترل كننده بخش امنيت توصیه شده با بهترين اكسچنج ها همكاري دارد.

بايد به اين مطلب هم اشاره كرد كه در سال 2018 بايننس در CertiK سرمايه گذاري كرده و این همکاری باعث ايجاد و تقویت یک اکوسیستم امن در ترمینال اطلاعات بايننس با استفاده از فن آوری تایید رسمی CertiK و همچنين همكاري تیم کارشناسان امنیتی CertiK برای بررسي قراردادهای هوشمند مستقر در بلاک های عمومی بايننس بوده است.

از جمله مشتري هاي و پارتنرهاي  CertiK  ميتوان به :

TrueUSD

Crypto.com

QuarkChain

Iotex

Celer

Qtum

NEO

OKEX Exchange

NKN

EtherScan

Binance Exchange

ONTology

Bitmain

Waves

Huobi Exchange

Icon

IBM

VeChain

Bibox Exchange

Tron

Kucoin Exchange

Bittrex Exchange

اشاره كرد.

بلاكچين CertiK با زبان برنامه نويسي اختصاصي خود با نام DeepSEA نوشته شده است .  DeepSEA كه توسط CertiK و در آزمایشگاه های تحقیقاتی دانشگاه کلمبیا و دانشگاه ییل توسعه یافت با  اهدای کمک های پژوهشی از مراکز Columbia-IBM Blockchain Centre و بنیاد Ethereum تكميل يافته است . CertiK با ادغام روش تأیید رسمی  و بلاكچين Certied BlockChain را به وجود آورد كه تمرکز خود را بر روی تأیید رسمی در انجام عمليات به طور خودکار و ایجاد نظریه های ریاضی برای اثبات صحت کد در بلاكچين گذاشته است.

اين پلت فرم از مدل دو سکه CertiK که کل اکوسیستم را تأمین می کند پيروي ميكند. تاييد تراكنش ها در  BlockChain Certied به روش Delegated Proof of Stake (DPOS) (اثبات سهم محول شده) انجام ميشود . اثبات سهم محول شده سیستمی است که در آن شمار ثابتی از موجودیت‌های منتخب (موسوم به تولیدکنندگان یا شاهدان بلاک) برگزیده می‌شوند تا بلاک‌ها را بر اساس یک جور ترتیب نوبت-گردشی بسازند. تولیدکنندگان بلاک توسط کاربران شبکه وارد گردانه‌ی قدرت می‌شوند و هر یک متناسب با تعداد توکنی که در شبکه در اختیار دارند (همان سهمشان) حق رای دریافت می‌کنند. كوين اين پلتفرم با مخفف ‍ #CKT وگس (GAS) آن CKG نام دارد. CKG گس مصرفی است و به تولید کنندگان بلاک پاداش داده می شود. این تنها راه است كه CKG را می توان تولید کرد.

كار بر روي بلاكچين CertiK از دسامبر 2017 آغاز شد و  نسخه بتاsmart labeling   پلتفرم CertiK در آوریل 2018 راه اندازی شد. و به زودي MaimNet 1.0  انجام ميشود و ورژن 2.0  و نهايي قرار است تا سال  2020 وارد شبكه شود.

 CKT Distributionبه شرح زير است :

Ticker : CKT

Token Type : ERC20

total supply : 100,000,000

Investors :   40,000,000

CertiK fundation : 20,000,000

CertiK EcoSystem : 20,000,000

CertiK Affilliate : 10,000,000

CertiK Team : 10,000,000

بنیاد CertiK  20درصد از CKT ها را برای رای دادن super node ها درشبکه ذخیره كرده است که قابل انتقال نیست این قسمت برای رأی دادن به صورت خطی در مدت 3 سال آزاد خواهد شد.

CKG فقط می تواند به عنوان پاداش برای تولید بلاک تولید شود. عرضه کل CKG ها در حدود 1 میلیارد 1,000,000,000 خواهد بود. كل CKG ها در مدت 16 سال استخراج می شوند. CKG ها مستقیما توسط بنیاد CertiK استخراج خواهد شد.

كلام آخر : اين پلتفرم يك پرژه تمام عيار و آينده نگرانه است . دست گذاشتن روي مهمترين بخش سه ضلعي بلاكچين يعني امنيت كار بسيار سختي است زيرا روزانه هزاران حمله سايبري به انواع و اقسام روش ها به بسياري از بلاكچين ها انجام ميشود و هر پروژه اي كه بتواند در برابر اين حملات مقاومت كند ميتواند به فكر پيشرفت باشد و بسياري بودند كه توجه كمتري كردند و نابود شدند آخرين مورد آن را همه به ياد داريم cryptopia و دهها مثال ديگر.

همكاري با بزرگترين بلاكچين ها و اكسچنج ها خود مهر تاييدي است بر قابليت هاي بيشمار CertiK و اعتبار آن در جامعه كريپتو و آينده اي خوب براي كوين اين پلتفرم يعني CKT .

قرار است بزودي IEO  پروژه CertiK انجام شود . كي كجا و به چه قيمتي هنوز مشخص نيست ولي اين پروژه جز آن دسته پروژه هايي است كه براي سرمايه گذاري بلند مدت مناسب است و شديدا توسط اينجانب دنبال ميشود تا بموقع مناسب به آن ورود كنم

اميدوارم از اين تحقيق استفاده كرده باشيد

نظرات و پيشنهادات خودتان را جهت بهتر شدن تحقيق هاي بعدي با اينجانب در ميان بگذاريد

با تشكر

B4B4K

https://certik.org

https://medium.com/certik

https://twitter.com/certikorg
https://t.me/certikorg

https://certik.org/blog.html