CertiK یک چارچوب تأیید رسمی برای اثبات ریاضی است که قراردادهای هوشمند و اکوسیستمهای بلاک چین عاری از اشکال و مقاوم در برابر هکر هستند.
تقسیم وظیفه اثبات سازنده به کارهای کوچکتر، که بعداً بصورت خودکار با روشی غیر متمرکز تر قابل حل است.
استفاده بعنوان واحد مبادله ای بین شرکت کنندگان و کاربران.
توکن:
CTK
نوع توکن:
ERC-20
حداکثر تعداد توکن:
100,000,000 CTK
ارز مورد قبول:
اتر