Извадки от документа
Общо за проблема
Един от основните проблеми на смарт договорите в Ethereum е липсата на инструменти, които да осигурат качеството на написания код. Пробойните в кода на смарт контрактите нанасят загуби от милиони долари за цялата екосистема. Callisto Network има за цел да реши този проблем за екосистемата CLO и ETC чрез създаване на "Официално одиторско поделение на CLO & ETC". Това дава напълно безплатна възможност за разработчици на интелигентни договори за одитират програмния код на своите смарт контракти.
Официално одиторско поделение на CLO & ETC
1. Ще бъде създаден регистър на одитирани смарт контракти. Всеки смарт контракт, който успешно премине одита за сигурност, ще получи официален статут. В противен случай договорът няма да бъде одитиран по подразбиране.
2. На всеки ще бъде разрешено да подава искания за одит и това е напълно безплатно за разработчици на смарт контракти.
3. Ще бъде нает екип от одитори на смарт контракти на пълно работно време, които ще преглеждат всяка заявка. Това отнема време, но е по-добре, отколкото да стартирате смарт контракт с критична уязвимост, която ще доведе до загуба или кражба на милиони долари.
4. На одиторите на смарт контракти ще бъде плащано с CLO от касовите фондове на Callisto Network.
5. Исканията за одит на ETC и CLO за смарт контракти ще бъдат приемани безплатно. Целта ни е да подобрим сигурността на екосистемата ETC.
Процедури по одита
Наемане, управление и изплащане на одити направени за смарт контракти написани на език в зависимост от искането и нуждите на общността.
Структура
Има два типа участници: мениджъри и одитори.
Основната задача на мениджъра е да контролира и проверява работата на одиторите.
Основната задача на одитора е да прегледа кода на смарт контрактите. Одиторите получават карма за преглед на договорите. Те също така получават наказания за грешки. Тази статистика отразява резултатите от всеки одитор и определя възнаграждението им.
На мениджърите и одиторите се заплаща от касата на Калисто.
Процесът на одит ще бъде управляван чрез GitHub, за да бъде прозрачно достъпен за всички. Разработчикът на смарт договори трябва да отвори проблем, за да представи своя смарт контракт на одитори, за преглед. След това мениджърът ще провери подробностите за заявката за одит на сигурността и ще маркира проблема като одобрен.
Мениджърът не трябва да маркира сляпо заявки; искания спам на опашката за одит на сигурността, или заявки, които не отговарят на стандартните изисквания за кодиране, няма да бъдат обработени. След одобрението от мениджъра всеки одитор може да започне да преглежда кода.
Одитор, който има принос в прегледа на код за определен договор, трябва да създаде частно съдържание и да изпрати основния URL адрес до съответния мениджър по имейл. Адресът на електронната поща на всеки мениджър или одитор е прозрачно достъпен в смарт контракта на тази организация.
Възнаграждения
Мениджърите по сигурността са на заплата независимо от дейността си, но те се контролират чрез гласуването на държащите Студени дялове.
Средностатически член на общността не може да разбере подробностите и особеностите на процеса на одита на сигурността, поради което държащите Студени дялове не могат да проверяват или контролират дейността на одиторите по сигурността. Това е целта на мениджърите на организациите за одит на сигурността. Ние разчитаме на предположението, че средностатистическия член на общността могат да проверят дейността на контролиращите мениджъри и да определят дали даден мениджър е злонамерен или не.
Ако се забележе, че мениджърът не действа както трябва, или не работи в значителен период от време без обяснение, то той трябва да бъде освободен чрез гласуването на държащите Студени дялове и друг мениджър трябва да бъде избран.
На одиторите се плаща в зависимост от общата им дейност. Одитор е маркиран като активен, когато той / тя представя доклад. След известно време, активния статус се премахва. На най-активните одитори с най-голямо количество "карма" се изплащат в зависимост от бюджета.
Системите за смарт контракти могат да бъдат различни по сложност. Дължината на байткод от одитирани интелигентни договори, компилирани с компилатора 0.4.20 + commit.3155dd80 без оптимизация, се използва като мярка за сложността на договора и изчисляване на коефициентите на кармата на одиторите.
Начално стартиране
При началното стартиране на мрежата на Callisto няма да има смарт контракт на касата. Целта е да се създаде официален одиторски екип и да зависи от одитираните договори за по-нататъшни подобрения. Екипът за развитие на Callisto ще получи пълния размер на таксите събрани в касата на този етап.
20% от първоначалното съфинансиране се разпределя за екипа на Callisto, за да финализира определената цел и да установи окончателна версия на договор за каси на Callisto Network.
10% от първоначалното плащане за касата ще бъде задържано от екипа на Callisto Network и ще бъде депозирано в договор за Студени залози след Callisto Hardfork No. 1 (който ще позволи протокола за Студено участие).
Общо съкровищните такса на този етап са 30%, която включва:
● Финансиране за развитие: 20%
● Разпределение на първия пакет замразени средства: 10%
Екипът за развитие на Callisto се придържа към политика на пълна финансова прозрачност. Разпределението на средствата (20%) ще бъде както следва по време на първоначалния период на стартиране:
Yohan Graterol: 0x4667d0c30E6f58ef935ddAb560d41E030E4d2AeB https://explorer.callisto.network/accou ... 030E4d2AeB
Dexaran: 0x01000b5fe61411c466b70631d7ff070187179bbf https://explorer.callisto.network/accou ... 0187179bbf
Carlos Sampol: 0x37006d230C9b0dA7A00011Efb1Acc3388fbD3c6A https://explorer.callisto.network/accou ... 388fbD3c6A
Хазна на Callisto: 0x74682fc32007af0b6118f259cbe7bccc21641600 https://explorer.callisto.network/accou ... cc21641600
Останалата част от финансирането на хазната на Callisto ще бъде разпределена към Официалния отдел за одит на Smart-contract за ETC & CLO.
- Yohan Graterol, CTO и съосновател, награди на месец: 500 000 CLO
- Dexaran, главен изпълнителен директор и съосновател на Callisto, награди на месец: 500 000 CLO
- Carlos Sampol, разработчик на React, месечни възнаграждения: 150 000 CLO
Планирани разклонения - етап студени залози
Планираното разклонение за Callisto № 1 (11 ноември 2018 г.) ще позволи протокол за студени залози.
10% от общия обем емитирани CLO за цялото време от началния етап на старта ще може да бъде депозиран в договор за залози.
Първият депозиран залог от страна на участниците предлага най-висока награда за най-ранните одитори играчи. Размерът на наградата ще намалее с времето до нормалната сума за награда от 20% от съкровищния фонд.
Общата съкровищни такса на този етап е 30%, която включва:
● Финансиране за развитие: 10%
● Разпределение в замразени залози: 20%
Планирани разклонения - последен етап
Планираното разклонение на Callisto № 2 (11 ноември 2019 г. - това може да се забави) дава възможност за система за управление.
На замразилите залози ще бъде разрешено да участват в подаването на предложения и гласуването на предложения. Предложението за развитие, одобрено от гласоподавателите, ще получи финансиране. Екипът на Callisto и Официалният одиторски отдел за смарт контракти ще работят чрез подаване на предложения на този етап.
Общата такса на този етап е 30%, която включва:
● За хазната: 10%
● Замразени залози: 20%
Разработката на Calisto
По-нататъшното развитие ще стане напълно децентрализирано, след като системата за смарт контракти бъде разгърната чрез касата на Callisto. По-нататъшните цели за развитие и важните етапи от пътната карта ще бъдат определени чрез смарт контракти през системата от залози на Callisto. Разработването и изпълнението на тези основни етапи ще се финансира и чрез смарт контрактите на Калисто.
Всеки участник в мрежата на Callisto, който държи CLO, може да замрази средства по сметка в касата за 1 месец или повече. Всяка сметка "замразен-дял" може да участва в процеса на вземане на решение чрез подаване на предложение за разработване на смарт контракти през касата или чрез гласуване за или против вече съществуващи предложения.
Собствениците на замразените средства в дялове ще бъдат компенсирани за това, че са притежатели на CLO и участват в управлението за развитие на Callisto с част от касата на CLO. Общата сума на CLO, разпределена за всеки замразен пакет, зависи от общото количество замразени пакети, които понастоящем се намират в мрежата на Callisto.
Студените залози не изискват от собственика на сметката да притежава пълен възел. Те разчитат на договор за отдаване под наем сключен с касата. Всеки участник в мрежата на Callisto може по всяко време да замрази средства, ако депозира своя дял в смарт контракт на Calisto. Пълният залог + наградата от него може да бъде изтеглен от касата по всяко време след един месец от депозита. Сметка, която е изтеглила средствата си от смарт контракт с хазната, вече няма да може да депозира повече.
Технически подробности
● POW Algo: Dagger Hashimoto (Ethash)
● Блок интервал: ~ 15 секунди
● Награда за блок: 600 CLO (30% такса за касата)
● 100% съвместим с виртуалната машина Ethereum
● Максимална количество на емисията: 6 500 000 000 CLO.
● Намаление на наградата за блок: 32% на всеки 5 000 000 блока
Спецификация на протокола по замразяването
Замразяването не изисква наличието на устройства за инсталиране, стартиране и поддържане на онлайн възел. Което го прави по-лесен за клиента в сравнение с традиционните протоколи за доказване на залог. В резултат на това студеното залагане при Calisto има по-ефективен механизъм за създаване на недостиг на монети на пазара, повишаване на цените, привличане на инвеститори и увеличаване на мрежовия ефект.
Замразяващите залози не проверяват транзакции, блокове и изпълнения на смарт контракти. Замразяването на залози не следва да се счита за механизъм за консенсус за доказване на залог, тъй като не предоставя права, свързани с консенсус, на притежателите на монети, но увеличава интереса към мрежата. В резултат на това механизмът за консенсус на мрежата може да остане PoW, но също така да получи предимствата на POS протоколите.
Прилагането на протокола се основава на смарт контракт за "залог", който получава 10% от общите емисии на монети и ги разпределя между студените залози, пропорционално на тяхната тежест.
Всеки адрес, който съдържа повече от минималния праг за залог, може да заключи монети в договора за залози за 175 000 блока (1 месец), за да се превърне в студен залог и да спечели лихва от баланса на залозите. Участниците получават тегло в зависимост от размера на фиксираните монети и общото количество монети, които участват в студени залози. След като изтече месец, студеният играч може да спечели наградата си и да реши дали иска да заключи монетите си още един месец или да напусне студения залог.
За изпълнението на протокола е необходимо да се начислява такса от 10% от всеки добит блок и всяка обработена транзакция, включена в блока.
Източник:
https://docs.google.com/document/d/1LpR ... LgiGA/edit
Moonlight 2.0 в разработка
Праг на залагане: няма
Интервал на изтегляне: потребителски
Брой на txs / мес с 50% от залога на монетите (при ETC): все още няма източник. Разработката в ход ...
Месечни приходи за 1000 ETC при 20% предлагане залози: 0,344 ETC
Специфика на тази версия на протокола:
Не е необходимо ръчно изтегляне на дължимото от касата.
Позволява залагане за период от време (от 1 месец до 10 месеца) без искове, а след това да изтеглите пълния размер на наградата за този период.
Тази версия на протокола не изисква значителен праг за залагания, тъй като позволява забавени искания.
Moonlight protocol rewards calculations
https://docs.google.com/spreadsheets/d/ ... edit#gid=0