🥇Учим се да пишем Waves смарт-контракти на RIDE и RIDE4DAPPS. Част 1 (Многопотребителски портфейл)

Здравейте на всички!

Съвсем наскоро Waves Labs анонсира обяви конкурс за разработчици, свързан с пускането на тестовата мрежа за разширение на езика за смарт контракти RIDE за децентрализирани приложения Ride4Dapps!

Избрахме случая DAO, тъй като Ventuary планира да се занимава с разработка на dApp със социални функции: гласуване, набиране на средства, доверително управление и др.
Започнахме с прост пример в Q&A сесията и в RIDE IDE — пример с общ портфейл.

Нека разгледаме този пример, да проверим хипотезите и да обсъдим някои странности:

Нека имаме Alice — собственик на dApp
Boob и Cooper — партньори на Alice, съоснователи на Alice-BC DAO
Neli — собственик на бизнес, който се нуждае от финансиране
Bank — банка, която раздава токени

Етап 1. Инициализация на салдата

За да получим токени в тестовата мрежа waves, е нужно да се обърнем към faucet и да посочим адреса, на който да изпратим токени.
Адресът може да се види в IDE, ако разкрием данните за акаунта.
Предоставяме на Bank 10 WAVES. След това проверяваме, дали те са постъпили през блокчейн и транзакционния наблюдател: наблюдател

Сега да раздадем токени от банката на останалите участници. (Забележка: Всички транзакции в мрежата waves не са безплатни, затова е необходим минимален положителен баланс при всички участници, за да могат да извършват транзакции).

1 WAVES = 100000000 единици (wavelets), тъй като сумите могат да бъдат само цели числа.
0.01 WAVES (такса за транзакция) = 1000000

Bank -> [3 WAVES] -> Alice, чрез TransferTransaction (Тип: 4).

Проверяваме, че env.SEED, с който се подписват транзакциите, съвпада с нашия Bank:

Ако нямате съответстваща seed фраза, просто превключете на нея в раздела Accounts и проверете отново.
След това създаваме, анонсираме и подписваме транзакция за прехвърляне на 3 WAVES на Alice.
Данните на Alice могат да бъдат взети и чрез променливата env.accounts. Номерацията започва от 0, следователно Alice е env.accounts[1].

broadcast(transfer({recipient:address(env.accounts[1]), amount: 300000000, fee: 1000000}))

Резултатът може да се наблюдава и в наблюдателя, линкът към него ще бъде върнат веднага след изпълнението на транзакцията.

Убедете се, че балансът на Alice е увеличен с 3 WAVES, а в баланса на банката остава 10 — 3 — 0.01 = 0.699.

Изпращаме по 3 WAVES на Boob и Cooper, а на Neli, Xena и Mark по 0.2 WAVES по същия начин.
(Забележка: Допуснахме грешка с един знак и изпратихме на Neli 0.02 WAVES. Бъдете внимателни!)

broadcast(transfer({recipient:address(env.accounts[4]), amount: 20000000, fee: 1000000}))

След попълването на балансите на всички участници, виждаме:

Етап 2. Създаване на акаунт за dApp

Съгласихме се, че създателят и собственик на децентрализираното приложение ще бъде Алиса.
В Accounts преминаваме и я настройваме като SEED и проверяваме дали env.SEED съответства на Алиса.

Нека опитаме да инсталираме на акаунта на Алиса най-простия скрипт (контракт) възможен.
Смарт-контрактите в Waves са предикати, които забраняват или позволяват изпълнението на определен тип изходяща транзакция при определени условия. В случая това условие е ALWAYS. Кодът на контракта е true. Извикваме deploy().

Таксата за транзакция setScript е 1400000/100000000 = 0.014 WAVES. Алиса остава с баланс 2.986 WAVES.

Сега ще опитаме да инсталираме на акаунта на Алиса по-сложна логика на смарт-контракта, описана в примера

Ride4Dapps сега включва 2 нови типа анотации:

@Callable(i) — приема като параметър i, информация за акаунта, който е извикал/подписал транзакцията. Резултатът от тази функция определя промяната в състоянието на dApp акаунта. Други акаунти могат да създават транзакции и да изпълняват функции с тази анотация и да променят състоянието на dApp акаунта.

@Verifier(tx) — Верификатор на транзакцията с параметъра tx на транзакцията. Съответства на логиката на предикатите от RIDE. Именно в това изразяване може да бъде разрешено или забранено по-нататъшното изменение на логиката на смарт-контрактите на dApp акаунта.

Нека направим dApp акаунт като общ портфейл за всички участници.

За да проверим кой контракт е активен на акаунта, можем в блоковия браузър да копираме base64 кода на смарт-контракта и да го разпознаем през декомпилатор (например)

Убедени сме, че логиката на смарт-контракта съответства на очакванията ни.
Алиса остава с баланс 2.972 WAVES.

Този dApp води отчет за това, колко всеки от участниците внася в общия фонд чрез механизма data transaction — DataEntry(currentKey, newAmount), където currentKey е акаунтът, който извиква функцията deposit, а newAmount е сумата на попълнения баланс.

Боб и Купър внасят своите депозити в dApp акаунта по 1 WAVES.

Допуснахме грешка и транзакцията не минава. Въпреки че се уверихме, че правим транзакцията от името на Боб, сбъркахме индекса и посочихме акаунт Банка, на който няма смарт-контракт. Тук е важно да се отбележи, че за неуспешни опити за иницииране на транзакции таксата не се удържа! Алиса остава с баланс 2.972 WAVES. Боб 3 WAVES.

Боб изпрати 1 WAVES на dApp акаунта.

broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"deposit",args:[]}, payment: [{amount: 100000000, asset:null }]}))

На Bob остават 1.99 WAVES. Тоест Bob е платил 0.01 WAVES такса.

На баланса на Алиса имаше 2.972 WAVES, стана 3.972. На акаунта на Alice също е регистрирана транзакция, обаче за dApp акаунта (Alice) не е взета такса.
След като Cooper също попълни сметката, на баланса на Алиса стана 4.972 WAVES.

Информацията за това, на кого колко WAVES принадлежи в общия портфейл, може да бъде видяна в блоковия браузър в таба Data.

Cooper се отказа да остави сума от 1 WAVES в общия портфейл и реши да изтегли половината средства. За това той трябва да извика функцията withdraw.

Обаче отново се объркахме, защото функцията withdraw има съвсем различни параметри, друга сигнатура. Когато проектирате смарт-контракти на RIDE4DAPPS, трябва да обърнете внимание на този момент.

На баланса на Cooper стана 2.48 WAVES. Следователно 3 WAVES — 1 — 0.01, а след това + 0.5 — 0.01. Следователно всеки повик на deposit и withdraw струва 0.01 WAVES. В резултат на това в таблицата на собствениците на dApps записите се промениха по следния начин.