Я буду виступати на ETHTokyo! Я поясню сигнатури на основі хешування, які є квантово-стійкими сигнатурами, починаючи від найпростішого підпису Лемпорта до остаточно прийнятого XMSS на рівні консенсусу. Я також розповім про наші зусилля в @NyxFoundation щодо формальної верифікації цих підписів. Я планую зробити його легким для розуміння за допомогою великої кількості діаграм, тому, будь ласка, заходьте! Це буде японською мовою.