@Dusk третий тип узла. наконец-то дошёл до страницы узла провера, и она короче, чем я ожидал 😂
провайдеры выполняют консенсус. архивные узлы хранят историю. узлы провера генерируют ДОКАЗАТЕЛЬСТВА.$BTW
и причина, почему для этого выделена отдельная машина — вот самое интересное. генерация доказательств вычислительно затратна таким образом, что продюсирование блоков — нет; профиль оборудования там совсем другой, поэтому, если встроить это в роль консенсуса, каждый провайдер должен был бы быть рассчитан на самую тяжёлую задачу в сети.
разделение позволяет запускать консенсус на скромном железе, а доказательства — там, где реально есть вычислительная мощность.
это перекликается с тем, что я писал ранее на этой неделе: доказательство прямо в браузере за менее чем 2 секунды в Hedger. это два разных контекста для доказательств. на стороне клиента — небольшие схемы, быстро. а на сетевой стороне — более тяжёлые вычисления, выделенные машины. $ACE
то есть здесь доказательство — это не что-то одно, а целый спектр, и то, где оно выполняется, зависит от того, что именно доказывается.
я всё ещё не знаю, какие у системы реальные требования к железу: на странице этого не было, или я пропустил.
#dusk @Dusk $DUSK
провайдеры выполняют консенсус. архивные узлы хранят историю. узлы провера генерируют ДОКАЗАТЕЛЬСТВА.$BTW
и причина, почему для этого выделена отдельная машина — вот самое интересное. генерация доказательств вычислительно затратна таким образом, что продюсирование блоков — нет; профиль оборудования там совсем другой, поэтому, если встроить это в роль консенсуса, каждый провайдер должен был бы быть рассчитан на самую тяжёлую задачу в сети.
разделение позволяет запускать консенсус на скромном железе, а доказательства — там, где реально есть вычислительная мощность.
это перекликается с тем, что я писал ранее на этой неделе: доказательство прямо в браузере за менее чем 2 секунды в Hedger. это два разных контекста для доказательств. на стороне клиента — небольшие схемы, быстро. а на сетевой стороне — более тяжёлые вычисления, выделенные машины. $ACE
то есть здесь доказательство — это не что-то одно, а целый спектр, и то, где оно выполняется, зависит от того, что именно доказывается.
я всё ещё не знаю, какие у системы реальные требования к железу: на странице этого не было, или я пропустил.
#dusk @Dusk $DUSK
