Все о TorCoin


Странно, что на таком профилирующем форуме не уделяют внимания новой цифровой криптовалюте, тесно связанной с Tor-сетью – TorCoin.
Восполню этот пробел:

TorCoin: стимулирование анонимности

Сеть Tor долгое время служила мощным инструментом, дающим пользователям возможность оставаться анонимными в сети. Кроме того, она рассматривается как хороший способ защиты конфиденциальных данных в сегодняшних реалиях растущего уровня цензуры со стороны правительства.

Тем не менее, у браузера Tor в его сегодняшнем виде есть некоторые проблемы, одна из которых – скорость соединения. Это связано с тем, что общая скорость сети напрямую зависит от количества активных передающих узлов, каждый из которых добровольно представлен некоторыми участниками сети.

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

Именно поэтому исследователи из Йельского университета придумали концепцию, которая, по их мнению, будет долгожданным решением этой проблемы.

Ими был разработан TorCoin – альтернативная цифровая валюта на основе протокола биткойна. В отличие от биткойн, она основана на схеме доказательства работы, производной от пропускной способности, а не вычислительной мощности.

Согласно официальной документации майнинг TorCoin стимулируется за счет того, что им можно заниматься, просто обеспечивая пропускную способность сети. Монета, в свою очередь, может быть продана за наличные деньги на любой бирже альтернативных цифровых валют.

Для того чтобы убедиться, что TorCoin действительно обеспечен пропускной способностью сети, разработчики Майнак Гош, Майлз Ричардсон, Брайан Форд и Роб Янсен ввели понятие TorPath, «децентрализованный протокол для формирования связи в сети Tor, который гарантирует, что каждый узел будет иметь приватный адрес, но при этом публично проверяться». Участники каждой связки имеют право на получение количества TorCoin, пропорционально объему предоставленного трафика.

TorPath, по сути, является защищенным механизмом выделения пропускной полосы, который использует децентрализованные группы «распределенных серверов» (assignment servers), которые расширяют существующие в Tor «направляющие серверы» (directive servers), используемые для назначения каждому клиенту определенного канала. TorPath предназначен для подписания новых TorCoin, которые затем предоставляют проверку каждой монеты любом наблюдателю блокчейна.

Таким образом, TorCoin призван решить вопрос о поощрении добровольцев, способствующих расширению пропускной способности сети. Однако самым большим прорывом цифровой валюты может стать его способность добиться этого без ущерба для анонимности пользователей.

Разработчик Tor Роджер Динглдайн объясняет:

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

TorCoin обеспечивает не только метод стимулирования тех, кто обеспечивает пропускную способность сети, но делает это, предлагая надежный способ распространения платежей среди добровольцев сети, действия которых необходимы для существования сети Tor.

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

Среди других существенных стимулов сети Tor – анонимное распределение оплаты, надежное хранение транзакций и добавочное расположение.

TorCoin состоит из двух протоколов, самого TorCoin и TorPath. При этом TorCoin работает независимо, что в свою очередь требует небольшой модификации части кода сети Tor или биткойна. Протокол TorPath в свою очередь назначает конкретные узлы, которые потом выпускают TorCoin за счет использования концепции доказательства пропускной способности.

Проект явился результатом последней инициативы Electronic Frontier Foundation под названием Tor Challenge. Проект является частью продолжающихся усилий по сохранению анонимности, конфиденциальности и свободы слова, и в то же время, предоставляет решения для увеличения количества доступных узлов. Пока TorCoin еще не запущен, но он уже широко рассматривается как новаторское и перспективное решение для повышения уровня анонимности, предоставляемой в настоящее время в сети.

Команда разработчиков TorCoin:

Мы ввели понятие TorPathкак новую надежную схему поддержки анонимности пользователей сети Tor. Протокол TorPathмотивирован необходимостью майнинга TorCoin, аналога биткойн на основе расширения пропускной способности сети Tor. Протокол TorCoinустойчив к вредоносным запросам и сговорам пользователей по майнингу TorCoinбез передачи трафика в сети

Хотя пока трудно сказать, что концепция TorCoin совершенна, и остается ряд вопросов безопасности, это стало благоприятной новостью для всего криптовалютного сообщества.

Источник: coinspot.ru




Комментарии
Гость (19/06/2014 23:37)   

каких именно узлов?
Гость (20/06/2014 00:14)   

Раз форум такой профилирующий, могли бы сохранить марку: найти оригинал исследования Йельского университета и поставить на него ссылку.
Гость (20/06/2014 07:56)   
О, круто! Что мне надо сделать чтобы начать майнить эти коины и где их можно продать?
— unknown (20/06/2014 09:52, исправлен 20/06/2014 10:18)   

Все проекты, которые нарушают право Tor на использование этой марки в названии — изначально претендуют быть кандидатами на помойку. Несмотря на своё возможно выдающееся происхождение и интересные перспективы.


Tor help desk roundup[link1]:


The help desk has been asked for information on TorCoin, a proposed cryptocurrency. TorCoin is not affiliated with or endorsed by the Tor Project. The Tor Project publishes guidelines on the use of its trademark[link2] to try to prevent confusing uses of the Tor name.

Andrew Lewman[link3]:


However, can we please, please stop using Tor in the name of everything? Our trademark lawyers love the business, but we'd rather spend money on developers and improving tor; not defending our name to keep everyone from being confused as to what is the real Tor or not. People, press, and companies are already calling us at Tor thinking we wrote torcoin and have approved it. We did not write torcoin nor do we approve of it (as far as I know)

Сама работа[link4] интересна, но в рассылке[link5] было много скепсиса и некоторой критики. Как с технической точки зрения, так и с морально-социальной.


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


Социальная критика — Tor-ноды ставят по убеждению. Материальная стимуляция не улучшит ситуацию, а с какого-то момента даже привлечёт больше безпринципных людей, которым сама идея Tor-сети неинтересна.


Неофициальные скептические мнения,
раз[link6]:


The "torcoin" idea is SUSPICIOUS (and makes me think of a thousand
conspiracy theories). What is "torcoin"? How can I most effectively and systematically completely destroy this idea? The good news is that we don't need it, it's not endorsed by the Tor Project... and it'll never work. The non-financial-incentivizing ideas in your post sound OK... perhaps a bit unnecessary

два[link7]:


Even if not applicable here, I'd like to point out one issue with getting paid for running relays. In many laws (in europe at least) it is crucial for relay-operators NOT to recieve any money for running a relay. It's the base why we don't fall under complicated regulations and can work with general laws instead. Just keep in mind, getting paid (for your benefit) for running relays can hurt.

Наконец, никаких торкоинов пока нет и не предвидится в ближайшем будущем. Это спорный теоретический концепт. Если он начнёт развиваться, то команда разрабов Tor'а может его не поддержать.

— gegel (20/06/2014 10:47)   
We did not write torcoin nor do we approve of it (as far as I know)

Но и пока официально не отрекаются[link8].
— unknown (20/06/2014 11:15)   
Пока не от чего отрекаться. Программного продукта и проекта с именем нет. Только концепт в публикации.
Гость (30/06/2014 05:51)   


Даже TORFone[link9] ? (
— SATtva (30/06/2014 08:10)   

Смотрите по ссылке[link8].
— unknown (15/07/2014 13:02)   
По поводу стимулирования вклада в Tor-сеть разработчики думали ещё в 2009 году. Сейчас они опубликовали обзор возможных методов[link10] от разных авторов. При этом остаются достаточно неясными не только достоинства и недостатки самих методов, но и сам вопрос — стоит ли вообще материально стимулировать участие в сети?
— ressa (15/07/2014 16:48)   
Стимулировать участников сети нужно их безопасностью. На сколько я знаю – содержание своей ноды подвергает риску держателя, что отбивает всякое желание внести свой, нематериальный вклад в функционирование сети.
Кстати, можно ли сделать свою ноду непубличной? Для использования только в личных целях? Или это проще сделать по цепочке Tor-Tor?
— unknown (15/07/2014 17:47)   
Непубличным можно сделать только бридж.
— ressa (15/07/2014 18:49)   
Спасибо.
Гость (15/07/2014 20:02)   
Пытался толкнуть такую идею на tor.stackexchange.com в конце того(2013) года:


There is a `great bubble` comparing to `dot.com bubble` of 1997-2000. Alt-coins, alternative crypto-currencies. Alternative to Bitcoin.

I'm count about 250 alive alt-coins, think that this number shall be multiplied on TWO at minimum and will grow exponentially in the future.

99% of alt-coins are shameless clones of Bitcoin, with cosmetic changes, thanks to the open-source, this looks like great number of linux distributives. Not a big differency between Debian and Ubuntu, RedHat and SuSe, Slackware and Slax.

And couple of interesting projects like namecoin (alt-DNS system over the blockchain). Not more than 10.

Every alt-coin is take its real price very rapidly, say 1 Cent, some times real 1$. And more... Thanks to alt-coin's exchanges where every alt-coin stands opposite to Bitcoin.



My idea is near the what Ripple command is doing. They give away XRP for points of www.worldcommunitygrid.org ( Boinc project like SETI@HOME ).



Tor is decentralized and based on Nodes called "Directories". Every Directory keep a list of all Tor Nodes.

Say, we put this list into `block` with number of megabytes per Node. And proportionally give coins to each Node. Say, `exit` will receive `5x` more coins than just a `relay`. Say, `guard` will receive `3x`. Etc...

* The block might be not so fast, and correlate with voting in Dir System.
* There is no needs in `the Ugly Bruteforce` which is lying in the ground of the Bitcoin.
* This modified type of Tor daemon might be compatible to original, current Tor network daemon.
* This alt-coin will rapidly take its price on the market and respect from the community.
* The price of this alt-coin will rapidly make new nodes for Tor Network, especially much more `exits`.



E.g. Let give 50 TorCoins for block for first 4 years ( 2014-2018 ), 25 for next 4 years ( 2019 – 2023 ), 12.5 for next 4 years ( 2024 – 2028 ), etc...
It might be continued in the next 22 century, with more precision after comma..

Let approximate numbers:

* 1000 Exits
* 2000 Guards
* 3000 Ordinary Nodes

Once voting complete, bounty for block divided between Nodes, by formula `5x` to `exit`, `3x` to `guard`, and `1x` to `ordinary node`.

50 TorCoins:

* Each of 1000 Exits will receive: 5 * 0.0035714 = `0.01785714` TorCoins
* Each of 2000 Guards will receive: 3 * 0.0035714 = `0.01071428` TorCoins
* Least 3000 ordinary nodes will receive `0.00357142` TorCoins each

Formula: 50.0 / ( 1000*5 + 2000*3 + 3000) = `0.00357142` TorCoins



Plus, in the block will lie bunch of last transactions between wallets.

This blockchain should be separated from common directory information, to save bandwidth.

I'm not count here a number of megabytes per node, this is just a sketch. `True bounty fission shall be according to bandwidth.`


Пост мой удалили. Наверное английский страдает. Но идея живёт (:
Гость (15/07/2014 20:12)   
Можно ждать появление альтернативной Tor-сети. LiteTor (((:
Гость (15/07/2014 20:14)   
На сколько я знаю – содержание своей ноды подвергает риску держателя

Если не exit, то никакого риска. А Exit следует держать анонимно, благо это не сложно.
Просто следует адекватно понимать риски, а то многие держатели нод сдуру сразу врубили ексит без согласования с хостером, получили на второй день вагон арбузов и теперь считают что Tor дикое паливо. И совсем конченные идиоты те, кто держал exit у себя дома.
Гость (15/07/2014 21:49)   


Я игрался дома, провайдер Yota ( WiMax ). 5 mb/s по городу. Не совсем получается дома. На буке стоял Tor ( Exit ). Логи парсятся влёт, можно кредитки снифать.

Ip всё время разные, статичный 100 рублей, кажется. Никакого палева, кто нибудь банит тебя как exit, долбишь на кнопку "Reconnect Yota", и всё путем
Гость (15/07/2014 22:45)   

+1. Гость 21:49, вам не приходило в голову, как просто соотнести время соединения с вашего модема с его идентификатором в сети Yota?
Гость (15/07/2014 22:53)   
@22:45 И чо ко мне немецкое штази придёт арестует?
Гость (16/07/2014 03:37)   
@22:53 можно ваш node fingerprint, я отправлю через вас письмо в ФСБ что в метро заложена бомба. И лет так через пять, может шесть, вы сможете нам рассказать что с вами было.
Гость (16/07/2014 06:54)   

Скорее само изложение, а не английский. Пост ни о чём типа «Как сделать так, чтобы всем стало жить хорошо? Вот вам идея: <...>». stackexchange — не сайт для дискуссий, он для обмена знаниями. Соответственно, предполагается, что в принципе существует квалифицированный конечный конкретный ответ на любой поставленный там вопрос. Я понимаю их так.
— unknown (16/07/2014 09:43, исправлен 16/07/2014 09:44)   

В торовском блоге перед обзором ставятся вопросы, а зачем нужно стимулировать волонтёров? Возможно, деньги отобьют мотивацию вкладываться в проект по убеждению и привлекут много людей, которым будет наплевать на задачи сети Tor, они будут ставить кривые и заведомо небезопасные узлы, вплоть до распространения и включения тор-узлов через ботнеты, лишь бы побыстрее намайнить неких специфических коинов.


К тому же, любой генератор коинов на основе Tor может содержать неочевидные дырки в протоколе. Начиная с получения незаслуженных коинов от прогона самостоятельно сгенерированного трафика и заканчивая снижением анонимности сети из-за утечки сведений о пропускаемом трафике.

Гость (16/07/2014 13:57)   

Не умно. Когда есть только один человек, желающий поучаствовать в краш-тесте, писать надо в АНБ, по-английски, про Нью-Йорк. И как-нибудь организовать прямую трансляцию того, что с ним происходит.
Гость (17/07/2014 05:24)   

+1. Хочу напомнить, что всё это мы уже имели возможность наблюдать на примере биткоина. Со временем там появилось огромное число людей, единственная цель которых — заработать. Анонимность и всё остальное им было глубоко пофигу.
Гость (18/07/2014 06:28)   
@Гость (16/07/2014 03:37), есть такой человек, называется профессия адвокат, есть другой человек, называется судья. Они садятся втроём с плохим-плохим человеком, который называется прокурор, и начинают курить torproject.org переведённый волонтёрами-альтруистами на русский язык.

Постепенно догоняя, что это не ты послал письмо про метро, и тебя отпускают.
Гость (18/07/2014 06:35)   
@Гость (17/07/2014 05:24), и что произошло с биткоином? Кажется, кто-то заработал, а не пиццами торгуют по миллион битков за кусок.

Анонимность? Она ни куда не делась. Всё та же цепочка, адрес к адресу, блок к блоку.

Я представляю себе сидящих майнеров в окружном суде Огайо которые сделали N монеток, десяток представителей бирж с разных концов планеты на которых эти монетки купили за краденые кредитки, и они разглядывают дерево с тысячями узлов ( биткоин адресов ), по которым разлетелись эти битки куда попало.
Гость (18/07/2014 06:44)   
@unknown,


Это задача Tor проекта, сделать дефолтный конфиг torrc – доступным любому юзеру, а tor daemon – таким же популярным как Tor Browser.

Кажется Роджер вообще хотел битками всех награждать. А о том что exit-ов всего 1000 штук кричат круглые года, и ничего не меняется.

Платить можно не за трафик, а за uptime и что нибудь ещё.
Гость (18/07/2014 07:54)   

Сомневаюсь, что автор биткоина на этапе его создания посчитал бы вот такие вещи [1][link12], [2][link13], [3][link14] нормальными.
Гость (20/07/2014 19:10)   

По вине разработчиков. Если бы выходящий трафик преднастроечно пропускался через внешние socks5-прокси (по спискам разработчика), становиться exitом стало бы гораздо безопаснее в плане полицейских наездов.
Гость (20/07/2014 19:29)   
Если бы выходящий трафик преднастроечно пропускался через внешние socks5-прокси
То откуда бы вы взяли эти socks5 прокси, потому что они становятся exit'ом со всеми вытекающими.
Гость (20/07/2014 19:47)   

Со всеми вытекающими для держателей прокси, провайдеров где-нибудь в колумбии и таиланде, а не для владельца exit'а.
Гость (20/07/2014 19:59)   
Тогда вопрос – почему бы сразу не поднимать exit'ы в колумбии, тайланде итд? То что вы предлагаете – фактически равносильно увеличению цепочки до 4 хопов, при этом ексит никуда не девается, просто он называется 'прокси'. И с этими самыми прокси будут теже самые проблемы. Они ведь сами собой не появятся, кто-то должен их поднимать. Тогда зачем нужно это лишнее звено?
Гость (20/07/2014 20:15)   
@Гость (16/07/2014 03:37), есть такой человек, называется профессия адвокат, есть другой человек, называется судья. Они садятся втроём с плохим-плохим человеком, который называется прокурор, и начинают курить torproject.org переведённый волонтёрами-альтруистами на русский язык.

Постепенно догоняя, что это не ты послал письмо про метро, и тебя отпускают.
Вы не представляете как работает система правосудия в России. Но я объясню.

Есть такой человек, называется прокурор. Ему обязательно нужно кого-то посадить для выполнения плана и роста в звании. Не обязательно вас, но если вы подставились – почему бы и нет? Никаких torproject.org он не знает и знать не хочет, его дело – вас закрыть, ему за это государство деньги платит.
Есть такой человек, называется адвокат. Вы ему платите много много денег, он пишет жалобы и придумывает как вам ловчее отмазаться (если адвокат хороший, что большая редкость) или сидит на жопе ровно и создает перед вами видимость работы (если обычный, как большинство адвокатов), или сливает инфу мусорам, агитирует признаваться и обещает свести всё на условный срок (если адвокат красный, что бывает нередко).
Есть такой человек, называется судья. Он ни в чем по существу вопроса не разбирается и ему пофиг на весь разыгрываемый перед ним фарс. Но за оправдательные приговоры его наказывают, поэтому он их никогда не выносит. Судья смотрит правильно ли оформлены бумажки, и если да – выносит обвинительный приговор, если нет – возвращает на доследование. Чисто формальная инстанция, можно смело заменять скриптом.

Еще есть апелляция, кассация и ЕПСЧ, но это отдельный большой разговор. Обращаться туда вы будете уже сидя в тюрьме.
Гость (20/07/2014 20:33)   

Их не нужно поднимать, нужно пользоваться существующими прокси на общественных серверах. Тех что не боятся полицейских наездов.
Гость (20/07/2014 21:01)   

Пользуйтесь, кто вам мешает? Не подскажете десяток другой таких волшебных прокси, которые доступны для всех даром и не боятся полицейских наездов. Может быть там-же где вы берете такие прокси, и деньги бесплатно раздают?

Извиняюсь за сарказм, но наивность Гостя и его непонимание существующего положения дел в сети не знают границ. Объясняю для тех кто не в теме: в тех странах "которые не боятся полицейских наездов" – нет интернета. Где-то нет совсем, а где-то 10 мегабитный канал с адским пингом и за огромные деньги – предел мечтаний. Пропустить сквозь них сколь-нибудь существенный трафик – невозможно, и никто не станет тратить на это деньги.

Продаваемые на хакерских ресурсах прокси размещаются на ботнетах. Это взломанные машины пользователей, и "не боятся полицейских наездов" они в том смысле, что наезд придет к несчастному пользователю подцепившему троян. Если проект Tor станет использовать ботнеты, это будет его конец. Tor и так находится в пограничном юридическом состоянии, но за ботнеты его в кратчайшие сроки ликвидируют полностью. ФБР при сотрудничестве с Европолом может это сделать быстро, эффективно и неотвратимо. Да что там ФБР, элементарно спамхаус заблеклистит все ноды и разошлет хостерам ультимативное требование о прекращении криминальной деятельности сети Tor, через сутки от почти 6000 нод тора останется пара-тройка сотен. Поэтому Гостям прежде чем давать такие советы, следует хорошо подумать головой.
Гость (15/08/2014 20:27)   
b[link15]an mentioned[link16] a new service collecting donations for the Tor network. OnionTip[link17], set up by Donncha O’Cearbhaill, will collect bitcoins and redistribute them to relay operators who put a bitcoin address in their contact information. As the redistribution is currently done according to the consensus weight, Sebastian Hahn warned[link18] that this might encourage people to “cheat the consensus weight” because that now means “more money from oniontip”.
— SATtva (16/08/2014 09:36)   
Делая пожертвование TorProject, убедитесь[link19], что находитесь на настоящем сайте.

The website is an almost perfect copy of the original website, except for the download link, and also the donation one, replaced by a bitcoin address.
Гость (16/08/2014 19:51)   

Эти OnionTip могут быть мошенниками: при нажатии на кнопку «donate» все время выдается разный адрес, а, значит, не проверишь, сколько на самом деле им денег пожертвовали, и сколько они раздали. Нет прозрачности.
— unknown (16/08/2014 21:00)   
На настоящем Torproject донаты принимаются внешне таким же способом. Это принципиальная фича — они не имеют права завести себе Bitcoin-кошелёк, т.к. подчиняются закону и не хотят иметь официальных поводов для придирок со стороны финансовых органов. Поэтому они аутсорсят сбор Bitcoin-пожертвований стороннему сервису, у которого всё в порядке с лицензиями на работу с биткоинами. Этот сторонний сервис, к сожалению, берёт неизбежный процент за своё посредничество, но зато он перечисляет на счёт торпроджекту не биткоины, а отконвертированные и официально заверенные суммы в долларах, которые торпроджект может включить в свою налоговую декларацию и по американским законам всё будет чисто.

Многие проекты, которые работают официально и открыто, рискуют стать жертвами налоговых служб, если разместят для приёма пожертвований свой биткоин-кошелёк. В некоторых странах это может стать поводом для наезда и на владельцев Tor-узлов так что возникают весьма закономерные вопросы[link20] в дискуссиях по поводу этой и аналогичных затей:
Not being a lawyer, does accepting money for running a Tor relay make it
a commercial operation (in some countries) and put you in a different
legal position?
— pgprubot (01/07/2015 18:08)   
Очередные попытки создать систему вознаграждений на основе bitcoin-протокола, теперь для распределённого хранилища данных[link21] — siacoin.

Ссылки
[link1] https://blog.torproject.org/blog/tor-weekly-news-—-june-11th-2014

[link2] https://www.torproject.org/docs/trademark-faq.html.en

[link3] https://lists.torproject.org/pipermail/tor-dev/2014-June/006993.html

[link4] http://dedis.cs.yale.edu/dissent/papers/hotpets14-torpath.pdf

[link5] https://lists.torproject.org/pipermail/tor-dev/2014-June/006975.html

[link6] https://lists.torproject.org/pipermail/tor-dev/2014-June/006982.html

[link7] https://lists.torproject.org/pipermail/tor-dev/2014-June/006998.html

[link8] https://trac.torproject.org/projects/tor/wiki/LikelyTMViolators

[link9] http://www.torfone.org

[link10] https://blog.torproject.org/blog/tor-incentives-research-roundup-goldstar-par-braids-lira-tears-and-torcoin

[link11] https://www.pgpru.com/comment81306

[link12] https://www.pgpru.com/comment80773

[link13] https://www.pgpru.com/comment80786

[link14] https://www.pgpru.com/comment81428

[link15] https://blog.torproject.org/blog/tor-weekly-news-—-august-13th-2014

[link16] https://lists.torproject.org/pipermail/tor-relays/2014-August/005073.html

[link17] https://oniontip.com

[link18] https://lists.torproject.org/pipermail/tor-relays/2014-August/005077.html

[link19] http://dustri.org/b/torbundlebrowserorg.html

[link20] https://lists.torproject.org/pipermail/tor-relays/2014-August/005096.html

[link21] http://www.nixp.ru/news/13489.html