برچسب: هک

CertiK چارچوب رسمی تایید است که امکان اثبات ریاضی که قراردادهای هوشمند است و اکوسیستم های بلوک اشکالات باشد و از حملات هکرها محافظت می شود.

برای پوسته پوسته شدن، CertiK توسعه رویکرد مبتنی بر استفاده از لایه یا لایه تجزیه کار تایید به کوچکتر.

بنابراین، قانون ثبت نام CertiK ثبت به عنوان گواهی نشان دادن به پایان اعتبار و امنیت ثابت قرارداد هوشمند و اکوسیستم های بلوک ثابت شده، که آنها هر دو کاملا قابل اعتماد می سازد.

محصول متشکل از عناصر زیر است:

1. هوشمند برچسب زدن . CertiK روشی برای مشخص کردن DApps/سیستم های با استفاده از برچسب یا میانبر را توسعه داده است.

2. مستقر در لایه تجزیه. تیم CertiK یکی از اولین معرفی مدولار تایید اجرای مفهوم جدیدی به نام مشخصات عمق لایه/لایه است.

3. [موتوراثباتجایگزین .  این باعث می شود آن را بسیار آسان تر برای حل چنین LP تجزیه، وظایف، و آنها حتی می تواند به صورت تقریبا خودکار حل شود.

4. ماشین checkable اثبات اشیاء. CertiK پلت فرم ایجاد اعتبار خودکار اشیاء (یا counterexamples) که می شود به سرعت تایید شده توسط هر کاربر.

5. کتابخانه های DApp گواهی. به کد کیفیت و قابلیت اطمینان کل جامعه CertiK ارائه می دهد مجموعه ای از کتابخانه های خبره و افزونه محیط توسعه مجتمع (IDE) برای ایجاد DApps قابل اعتماد.

6. [خدماتصدورگواهینامهCustomized. برای DApps/سیستم های با قابلیت اطمینان بالا مورد نیاز (يعنى دیجیتال کیف پول)، پلت فرم CertiK در نظر دارد برای ارائه خدمات صدور گواهینامه های شخصی.

نقشه راه

در Q1 یدلایمخیرات 2018، تیم تولید نسخه های آلفا از نشانگر تایید روش های و نشانه گذاری های هوشمند.

در ماه آوریل، آنها راه اندازی شد نسخه بتا از پروتکل و چندین شرکت شخص ثالث به استفاده از آن. وب سایت ویدئو نسخه ی نمایشی از پروتکل تایید شده است.

Certik نسخه محدود از محصول کار. آنها در حال حاضر پذیرش مشتریان و جریان درآمد.

رقبای

زپلین در ارائه خدمات تست و تایید، سهم قابل توجهی از بازار است. تفاوت اصلی این پروژه است که بیشتر از بررسی فرآیند نتیجه مقیاس پذیری خود مشکوک کتابچه راهنمای کاربر است.

Quantstamp پروتکل امنیتی موجود برای قراردادهای هوشمند است. روش کتابچه راهنمای کاربر تایید همان که هنوز هم vulnerable.txt دو انسان خطا و مشکلات مقیاس پذیری را استفاده می کند. با این حال، پروژه بازار درپوش 100-150 متر به طور متوسط است.

بنابراین مزیت رقابتی اصلی CertiK خود ظرفیت های اتوماسیون، که به نوبه خود را محدود به خطای انسانی و افزایش مقیاس پذیری است.

زمان اجرا تایید شرکت است که فراهم می کند راه حل های تأیید رسمی که در حال حاضر فراهم می کند خدمات برای تایید قرارداد هوشمند است. در خود را توسعه آنها نیز ارائه راه حل برای EVM (ماشین های مجازی Ethereum) اگر چه خود را توسعه است هنوز در مراحل اولیه به نام KEVM.

Certik بازار

را تریلیون دلار سهم بازار هدف. رشد بازار blockchain هکرها و مجرمان اینترنتی می تواند شبکه های میلیون ها دلار هزینه می. CertiK راه حلی برای این مشکل ارائه می دهد. همچنین، در طول چرخه توسعه 30-40 درصد در آزمایش زیر ساخت های صرف و از طریق استفاده از CertiK کتابخانه ها و پلاگین ها در این بخش کاهش هزینه می تواند.

رمز “ سوخت دیجیتال بومی پلت فرم CertiK (“CTK”) جزء اصلی زیست محیطی در بستر های نرم افزاری CertiK است. CTK است سوخت ابزار کاربردی غیر قابل استرداد است که خواهد شد مورد استفاده قرار گیرد به عنوان واحد تبادل بین شرکت کنندگان در پلتفرم CertiK و همچنین به عنوان مشوق های اقتصادی است که برای تشویق شرکت کنندگان به مشارکت و حفظ اكوسيستم در مصرف می شود CertiK بستر .”

بستر های نرم افزاری CertiK طرح جدید معادن با نام ضد از ضد (پاپ)، مربوط به توزیع CTK مشوق معرفی.

این طرح پاپ یکپارچه تمام جامعه از طریق جریان CTKs در نقش های مختلف پنج: مشتریان

• می تواند به ارائه برنامه ها/سیستم های که نیاز به تایید (از طریق خدمات پلت فرم CertiK) و یا هر گونه تشکل های ضد obligat (که با باز کردن پروتکل شبکه CertiK). این است که با شروع انجام می شود و معامله ویژه “درخواست اثبات” مربوط به برخی از انگیزه CTK پخش ارائه شده برای هر کسی که ساختار اثبات.
• شکارچیان بخشش که هدف برای CTK مشوق و اکنون می خواهم برای به اشتراک گذاشتن منابع محاسبات خود هستند. آنها خواهد ساخت و پخش اشیاء اثبات، و سپس منتظر اثبات به تایید شده است. با توجه به اهمیت قابل توجه این نقش فقط کاربرانی که دارای مقدار CTKs مجاز به این نقش.
• چکرز توانند مشوق CTK با ثبت معاملات معمول و یا اشیاء اثبات ارائه شده را بررسی کنید. شکارچیان بخشش تنها می تواند انگیزه های خود را هنگامی که اثبات خود را معتبر می باشند و چکرز نیز بخش کوچکی از این مشوق ها را می توانید دریافت.
• عقل از سر فرزانگان که وصل کردن موتور اثبات آنها از طریق پروتکل های باز پلت فرم CertiK هستند. موتور آنها به طور تصادفی ممکن است مورد استفاده توسط شکارچیان بخشش و از طریق یک ارزیابی می شود / تست ب. آنها همچنین می توانید برخی از انگیزه CTK بسته به بررسي نتايج موتور آنها. موتور فوق العاده را مورد مطالعه و گسترش جامعه.
• کاربران می توانید به کتابخانه تمام CertiK پلت فرم گواهی عضویت و محیط برنامه نویسی افزونه برای ساخت DApps/سیستم خود را با برخی از CTKs.

فروش رمز شامل سه دوره سرمایه گذاری. هر دور دوره قفل کردن متفاوت است که با یکدیگر همزمان است. معنی که دور

CertiK تیم به طور کامل انباشته است که متخصصان از حقوقی مالی روابط عمومی و آن است.

رابط کاربری گرافیکی Ronghui بنیانگذاران پروژه است. او استاديار علوم رایانه در دانشگاه کلمبیا است. او دریافت مدرک دکترای خود را در رشته علوم رایانه از دانشگاه ییل در سال 2016، جایی که پایان نامه خود را بالاترین درجه را دریافت کرده است و جایزه انجمن محاسبات دستگاه نامزد شد. او پیشرو طراح و برنامه نویس CertiKOS (درجه عملیاتی سیستم ضد هک است که).

زونگ ناپذیر موسس شرکت دیگر است. او در حال حاضر استاد و مدير گروه علوم کامپیوتر در دانشگاه ییل است. او نقش پیشرو در امنیت سایبری, برنامه نویسی زبان های سیستم عامل و نرم افزار گواهی طول می کشد. او و سنگ چخماق گروه خود را در دانشگاه ییل جهان اولین هکر محافظت درجه سیستم عامل CertiKOS ای ضروری نقطه عطف در ساخت سیستم های فیزیکی سایبر است که حفاظت کامل از اشکالات نرم افزار توسعه داده اند.

Vilhelm Sjöberg تحلیلگر تحقیقات است. او محقق دانشگاه ییل است. او متخصص در زمینه نرم افزار تست، زبان های برنامه نویسی، نوع سیستم است.

بنابراین می توان گفت که بنیانگذاران دستاوردهای علمی مربوطه و کسب و کار در این زمینه تجربه دارند.

شرکای تجاری

CertiKrepresents حکم واقعی کار کسب و کار، که توسط ستاره های علمی از دانشگاه های طراز جهانی اجرا می شود. بنیان گذاران صنعت قوی دانش و ارتباطات است. مدل کسب و کار پروژه در حال حاضر به تولید درآمد چیزهایی است و مشارکت های مرتبط با تمام blockchains بزرگ است و ICO راه اندازی سیستم عامل کار می کند.

خطرات

• هیچ اعضای تیم را در وب سایت ذکر شده است، اما آن CertiK ادعای 20 توسعه دهندگان استخدام. -0.25
• نقشه راه کوتاه. -1
• کلاه سخت است حدود 50 میلیون دلار، که نه بالا. -1.5
• بدون اطلاعات در توزیع رمز نشانه شرکت (تیم مشاوران، و غیره). -1
• که پروژه در حال حاضر پذیرش پرداخت فیات را نشانه های تکمیلی. -1
• بدون اطلاعات در توسعه پایدار و رقابت CertiK در مدل کسب و کار بیش از رقبا. -1

حمل و نقل ایمن سازی ایده منحصر به فرد رشد بالقوه

• و راه حل کمک خواهد کرد که سیستم از هک و اشکالات. + 2
• بنیانگذاران تیم بالا. تجربه به بینایی خود را داشته باشند. + 2
• MVP در بتا است. این محصول در حال حاضر تا حدودی استفاده می شود. + 2
• پروژه فروش فعال است. ICOs چند در حال حاضر محصول برای فروش رمز خود استفاده کرده اند. + 1
• اعتیاد به مواد مخدره سطح بالا است. + 1
• سرمایه گذاران اولیه قوی از جمله گاز طبیعی و Binance. + 1.25
• بازار بزرگ و پرسود است. + 1.5
• خوب قفل ساز برای ردیف رمز مختلف. + 1
• نشانه که آن “فهرست” در بورس خوب. + 1

منش

به طور کلی پروژه اساسا بسیار قوی به نظر می رسد اما کلاه سخت است کمی نگران کننده و متفاوت فروش ردیف (گردش هر ماه نشانه افزایش خواهد بود و هر ردیف جایزه بزرگتر است) بیت مربوط. از سوی دیگر بسیاری CertiK از اعتیاد به مواد مخدره, اتصالات, پروژه کار و می شود احتمالا لیست خواهد در بورس با نقدینگی بزرگ. نمره کلی 7 از 10.

سرمایه گذاری نوع جزئیات

• : ابزار
• نماد : CTK
• پلت فرم : پژوهشکده الکترونیک 20
• Crowdsale : هیچ فروش عمومی فقط
• airdrop حداقل سرمایه گذاری :
• قیمت : n/a (بدون عمومی فروش، تنها airdrop)
• کلاه سخت : $40-$ 50 میلیون
• پرداخت پذیرفته شده : BTC دلار ETH،
• محدودیت های Barred از پارکهای فناور : چین و ایالات متحده

اطلاعات عمومی:

وب سایت: https://certik.org/

تلگراف: https://t.me/certikorg

نقل از Whitepaper: https://certik.org/docs/white_paper.pdf

برجسته تصویر نیت Shutterstock.