Ну а уж как он функционирует и есть ли там подводные камни и скрытые возможности -
такой анализ только самостоятельно можно сделать.
Слушайте, ну харе на уши лапшу вешать!
Не делайте вид, что не понимаете.
Вот смотрите, есть, допустим, всем известный пример
#include <stdio.h>
main()
{
printf("hello, world!\n");
}
Его можно объяснить человеку, который хоть немного разбирается в программировании, но впервые видит язык Си.
Объяснение будет такое:
1) подключаем стандартную библиотеку функций ввода-вывода, так положено чтобы иметь функцию печати
2) функция мэйн - это точка откуда начинается выполнение программы
3) сам код программы идет между фигурных скобок
4) принтф - это функция вывода строки, аргументы функции в скобках, сама строка в кавычках
5) точка с запятой - это стандартный для си разделитель операторов.
Я прошу взять какой-нибудь самый простой контракт, удвоитель или еще проще и провести такой разбор.
Без отсылок к английскому описанию, к комментариям в тексте и так далее.
Вот по ссылкам именно такой исходный код контактов для Ethereum и лежит. И там есть что-то типа форума, где есть некоторый разбор этого кода от обычных пользователей.
Лично у меня прямо сейчас нет желания вникать в этот чужой код и проводить его тщательный анализ. Но, на вскидку, там около сотни строк кода - не так уж и сложно, если поставить перед собой такую цель.
Вопрос сводился не к тому, как писать контракты на Ethereum, а к тому, кто их верифицирует.
Так вот контракт верифицирован в том плане, что подписываясь на контракт, вы можете просмотреть его полный исходный код.
И это гораздо надёжнее, чем обычный бумажный договор, т.к. там мало прочитать мелкий шрифт и заковыристые примечания - впоследтствии его можно еще оспорить, отменить, изменить в одностороннем порядке и т.п. Здесь же есть код и гарантия что код не изменится.