Каковы открытые проблемы с алгоритмом доказательства ставок Casper?

Март / апрель 2017 Обновление от Виталика Бутерина о Casper

Передано Джимом Мэннингом в Eth News

Еще нужно доделать:

(1) Завершение кода контракта CASPER (3/4 выполнено).

Осталось реализовать 25%:

• Механизм порядкового номера в сообщениях (необходим для полной проверки условий косой черты)

• Переход от проверки подписей ECDSA к проверке произвольного кода проверки

(2) завершение логики демона валидатора (в процессе)

Демон валидатора будет программой, которая работает вне цепочки (не в блокчейне, а на компьютере пользователя), которая взаимодействует с контрактом Casper, поэтому узел знает, когда отправлять правильные сообщения (подробнее о сообщениях подготовки/фиксации можно увидеть здесь) для проверки блока.

(3) завершение правила выбора вилки (в процессе)

Правило выбора форка будет частью кода, который запускается на каждом узле, чтобы определить, при каких точных условиях будет создана каноническая (самая длинная) цепочка. Это делается для того, чтобы узел делал ставку на выигрышную цепочку. Если узел делает ставку на ложную (злонамеренную) цепочку, этот узел (валидатор) теряет свой депозит. Это очень важный аспект защиты сети блокчейнов, поскольку именно здесь определяется консенсус в отношении того, какой блокчейн является канонической цепочкой.

(4) Вопрос о минимальном размере депозита валидатора. то есть «сколько ETH я должен поставить, чтобы компенсировать расходы на газ (комиссию за транзакцию) отправки сообщений о подготовке/фиксации и получить прибыль?»

Ответ ВБ:

Это сложный вопрос. Здесь есть подразумеваемый минимум, потому что вы должны платить газ за подготовку/фиксацию, и в целом это невыгодно, если вы не вносите по крайней мере 1000-4000 ETH. Одна из возможностей, о которой мы думаем, — это хардфорк на более поздних этапах со скидкой специально для исполнения, связанного с этим контрактом, но это еще далеко не завершено.

Все выдержки из статьи Джима Мэннинга от 5 апреля 2017 г.: https://www.ethnews.com/proof-of-stake-vitalik-buterin-shares-casper-contract-code

Предоставлено: @Vitalik в чате Ethereum Research Gitter :

По состоянию на 11 января 2016 г.:

1. Как должны быть установлены вознаграждения и штрафы за стейкинг (точнее, параметры правила подсчета очков) для CASPER?
2. Сколько валидаторов должно быть у CASPER? Учитывая это значение, как мы должны ориентироваться на него?
3. Каков хороший целевой уровень участия (например, % от всех ставок ETH)? Как мы должны ориентироваться на это значение?

Для (1) и (3) помните об эгоистичных заботах о добыче полезных ископаемых; в основном, вы хотите попытаться сделать проверку НЕ игрой с нулевой суммой, чтобы снизить риск таких стратегий.

4. Как именно следует реализовать сегментирование с точки зрения структуры данных (фиксированное количество сегментов, переменное количество сегментов, бинарная схема, которую Виталик представил на devcon, и т. д.)? Должен ли быть шардинг на уровне субконтракта? Размышляя об этом, имейте в виду целевой вариант использования разработчиком, пытающимся создать масштабируемый крипто-токен в HLL поверх этой схемы.
5. Как следует проверять группы транзакций? (например, какая схема случайной выборки)

Текущие проблемы... будет ли это работать на самом деле. По сути, алгоритм можно свести к тому, чтобы действовать как рынок предсказаний. Это должно работать в теории, но работает ли это на практике — другой вопрос. Но мы узнаем больше, когда он появится в тестовой сети. До тех пор нечего критиковать, так как он все еще находится в разработке.

Ноябрь 2017 г. (после Devcon3) Обновление:

Полный

• Спецификация Casper Friendly Finality Gadget ("Vitalik's Casper") и код PoC
• Casper The Friendly GHOST ("Каспер Влада"), защищенная бумага и PoC-код.

В ходе выполнения

• Тестовая сеть Casper FFG (pyethapp/pyethereum)
• Криптоэкономика Casper FFG (оптимизация параметров)
• Предложение блоков Capser FFG
• Доказательство жизнеспособности Casper TFG

Casper FFG будет реализован до Casper TFG.