Криптовалюта Agoras: Tau Net (AGRS)

О криптовалюте Agoras: Tau Net

AGRS или Agoras: Tau Net - это криптовалютный токен проекта Agoras, связанного с инициативой Tau Net, разрабатываемой командой IDNI под руководством разработчика Охада Асора. Токен был создан в 2015 году и изначально выпускался как цифровой актив на базе протокола Counterparty поверх сети Биткоин. Концепция Tau и Agoras предполагает дальнейшее использование токена в собственной сети Tau Net, где он должен выполнять роль расчетного средства в децентрализованных рынках знаний и вычислительных ресурсов. В ряде периодов рассматривались технические представления токена на иных инфраструктурах для повышения совместимости и удобства обращения, при этом ключевая связка проекта остается ориентированной на экосистему Tau. История проекта началась с идеи создать среду, в которой знания и программная логика описываются формальными языками и могут быть автоматически обрабатываемы для получения следствий и согласованности. Выпуск AGRS в 2015 году был задуман как экономическая основа экосистемы, объединяющей участников вокруг будущих рынков знаний, данных и вычислительных мощностей, а также как средство финансирования длительной исследовательской и инженерной работы над Tau Net. К важным событиям в развитии проекта относят первоначальное распределение токена и переход от ранней концепции Tauchain к более конкретной архитектуре Tau Net. В разные годы публиковались обновления дорожной карты и прототипы компонентов формальной логики и языка, а также объявлялась подготовка к тестовым развертываниям, призванным опробовать ключевые механизмы взаимодействия и потенциальный процесс обмена существующих токенов на нативный актив сети при запуске основной сети. Задачи Agoras состоят в создании децентрализованной экономики знаний, где пользователи обмениваются формально описанными знаниями, программами и данными, а также покупают и продают вычислительные ресурсы, хранилище и сетевую пропускную способность. Цель заключается в том, чтобы за счет формальных языков и автоматического вывода обеспечить согласованность правил, возможность машинной проверки утверждений и воспроизводимого исполнения, что должно снизить транзакционные издержки и повысить доверие между участниками. Помимо рынков ресурсов проект рассматривает механизмы коллективного создания и переиспользования кода и знаний с прозрачными правами и правилами перераспределения ценности. Среди достижений можно отметить долгосрочную исследовательскую работу над движком логического вывода и формальными языками для описания знаний и требований, а также публикацию проектных спецификаций и рабочих прототипов, демонстрирующих подход к автоматизации согласования и эволюции знаний. Проект поддерживает коммуникацию с сообществом и развивает открытые репозитории, где отражаются изменения в архитектуре и инструментах. Токен AGRS…

Контракты в блокчейнах

Официальные источники