تازوس

Serokell در توسعه Tezos ، یک بستر blockchain منبع باز برای قراردادهای هوشمند نقش داشت.

TQ Tezos (اکنون بنیاد Tezos) یک شرکت فناوری است که مقر آن در NYC است که راه حل های مبتنی بر Tezos و نرم افزار منبع باز را برای شرکت ها و توسعه دهندگان می سازد. TQ پشتیبانی را فراهم می کند و تحقق محصول را از برنامه ریزی تا استقرار امکان پذیر می کند.

به عنوان یک متخصص در برنامه نویسی عملکردی و توسعه blockchain ، Serokell برای کمک به آنها دعوت شد.

ورود به ایده های پیشگام زندگی چالش برانگیز است. وقتی پروژه شما در زمینه blockchain قرار دارد و به توسعه دهندگان باتجربه نیاز دارد ، این پرونده حتی پیچیده تر می شود. کارهای بیشتر و بیشتر ظاهر می شود ، منابع بیشتری لازم است.

سرانجام ، شما باید تیم های خارجی را جذب کنید که می توانند با همان اشتیاق و سرعت خود کار کنند و آثاری را با همان کیفیت تولید می کنند. این دقیقاً اینگونه است که همکاری ما با گروه Tocqueville آغاز شد.

Tezos چیست؟

Tezos یک بستر منبع باز برای دارایی ها و برنامه های کاربردی است که توسط یک جامعه جهانی از اعتبار سنج ها ، محققان و سازندگان پشتیبانی می شود.

دارندگان Tezos با مکانیسم حاکمیت خود می توانند از طریق رای گیری در آینده Blockchain شرکت کنند. همچنین به گونه ای طراحی شده است که از طریق امکان تأیید رسمی قراردادهای هوشمند خود ، از امنیت و صحت کد بالا برخوردار باشد.

در هماهنگی نزدیک با تیم های توسعه اکوسیستم Tezos ، ما به طور مرتب ممیزی های عمیق را انجام می دهیم و بهترین شیوه های رقبا را برای اجرای ویژگی های جدید و ایجاد Tezos به عنوان یک فناوری پیشرو در بازار بررسی می کنیم.

توسعه اکوسیستم Tezos:

در ابتدا از زبان میشلسون در برنامه نویسی قرارداد هوشمند Tezos استفاده شد. اما به دلیل ماهیت سطح پایین میشلسون ، هر قرارداد پیچیده ای برای اجرای آن چالش برانگیز است و حفظ و حسابرسی سخت است.

اولین پروژه ای که برای TQ Tezos متوجه شدیم ، مورلی ، مجموعه ای از ابزارها و کتابخانه ها بود که نوشتن قراردادهای هوشمند شفاف تر و مؤثر تر می شود.

با همکاری نزدیک با TQ ، ما ایده های خود را در مورد چگونگی بهبود سوار شدن و پذیرش Blockchain Tezos پیشنهاد کردیم.

برای از بین بردن ناراحتی های کار با یک زبان سطح پایین ، ما پیشنهاد کردیم که یک زبان برنامه نویسی خاص دامنه در سطح بالا را در بالای میشلسون ایجاد کنید.

لورنتز یک Haskell EDSL (زبان خاص دامنه تعبیه شده) است که روشی راحت تر برای نوشتن قراردادهای میشلسون فراهم می کند.

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

نیلی زبانی با سطح بالاتر است که ما در بالای لورنتز ساختیم. این بار مدیریت دستی پشته را از بین می برد. لورنتز و نیلی اکنون Tezos را به یک بستر راحت تر هم برای توسعه دهندگان و هم برای کاربران تبدیل می کنند.

در نتیجه ، TQ از ما خواسته بود که استانداردها را برای همه به روزرسانی ها و پیشنهادات مربوط به توسعه اکوسیستم Tezos تعیین کنیم. این تیم همچنین از Serokell خواسته است تا راه حلی شبیه به استاندارد Token Ethereum ERC-20 را برای اکوسیستم Tezos طراحی و پیاده سازی کند.

"ERC-20 لیست مشترکی از قوانینی را تعریف می کند که همه نشانه های اتریوم باید به آن رعایت کنند. این نشانه خاص به توسعه دهندگان این امکان را می دهد تا به طور دقیق پیش بینی کنند که چگونه نشانه های جدید در سیستم Ethereum بزرگتر عمل می کنند. "

ما راه حل های موجود را مورد بررسی و حسابرسی قرار دادیم و یک مخزن به نام TZIP (پیشنهاد قابلیت همکاری TEZOS) ایجاد کردیم. TZIP فرایند پیشنهاد پیشرفت در Tezos را رسمی می کند.

با قیاس با ERC-20 ، ما یک استاندارد برای نشانه های Tezos ایجاد کردیم و آن را FA1. 2 نامیدیم.

ایجاد بسته بندی Tezos و نشانه های خصوصی

علاوه بر این ، ما با ایجاد راه حل های بسته بندی و معرفی قراردادهای هوشمند جدید ، برای بهبود اکوسیستم اطراف Tezos تلاش کردیم.

از آنجا که نصب زیرساخت Tezos با استفاده از داکر یا ساختمان از منبع بسیار پیچیده بود ، TQ Serokell را برای بهبود آن دعوت کرد.

از آنجا که این پروژه یک همکاری بلند مدت است ، Serokell در حال حاضر در حال توسعه نشانه های خصوصی جدید Tezos است. ما اولین تیمی هستیم که برای استفاده از تولید قراردادهای هوشمند از آن مقیاس در Tezos ایجاد کردیم.

نتایج

اکوسیستم Tezos رشد کرده و ویژگی ها ، استانداردها و قراردادهای هوشمند بیشتر در استقرار را اضافه کرده است. Serokell با شرکت فعالانه در توسعه پروژه ، بررسی الگوریتم های مدرن و ارائه کمک کمک به هر زمان که لازم باشد ، از TQ Tezos حمایت کرده است.

بیایید چت کنیم

محلول بسته بندی Tezos

مختصر

نرم افزار Tezos از چندین برنامه تشکیل شده است. می توان با استفاده از تصاویر Docker یا ساختمان از منبع ، نرم افزار Tezos را نصب کرد. اکثر مردم ساخت برنامه های Tezos از منبع را راحت نمی دانند. با این حال ، Docker همچنین گزینه مناسبی نیست زیرا هنوز هم در مقایسه با استفاده مستقیم از اجرایی ، مقداری سربار اضافه می کند. بنابراین ، TQ Serokell را برای یافتن راه حل استخدام کرد و به دست آوردن پرونده های اجرایی Tezos آسانتر شد.

راه حل

ما از NIX برای ساخت نرم افزار Tezos استفاده کردیم. در پایان ، ما باینری های استاتیک گرفتیم که می توانند روی هر دستگاه لینوکس اجرا شوند. ما همچنین بسته های `. deb` و` . rpm` را با این باینری ها ایجاد کردیم و آنها را به LaunchPad PPA و Fedora COPR منتشر کردیم. CI ما همه چیز را می سازد و پیش از انتشار هر ادغام برای استاد را انجام می دهد. وقتی زمان انتشار جدید است ، ما آخرین نسخه قبل از انتشار را به یک نسخه واقعی تبدیل می کنیم.

نتایج

در مقایسه با رویکرد مبتنی بر Docker ، استفاده از راه حل ما ساده تر است زیرا می توانید مستقیماً از این برنامه استفاده کنید و بر خلاف استفاده از آن از طریق Docker استفاده کنید. ما موفق شده ایم فرآیند نصب را ساده کنیم و یک راه حل مناسب را در اختیار کاربران قرار دهیم که آنها را به استفاده از Tezos ترغیب می کند.

نشانه های خصوصی

مختصر

بازده بالا ، BTG و TZBTC نشانه های خصوصی هستند که توسط Serokell در Tezos ساخته شده است

بازده بالا ، BTG و TZBTC سه پروژه جداگانه برای Securitize ، BTG Pactual و Bitcoin Suisse هستند. این شرکت ها Serokell را برای ایجاد قراردادهای هوشمند برای آنها استخدام کردند. ما اولین کسانی بودیم که برای استفاده از تولید قراردادهای هوشمند از آن مقیاس در Tezos ایجاد کردیم.