Анализ страницы https://prooffrog.github.io/examples.html
Основное Готовность: 100%
Домен
prooffrog.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 25.09.2026 5:52:51.
Включён HSTS (Strict-Transport-Security) — защита от подмены на http.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
UTF-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице UTF-8.
Язык
en-US
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en-US.
Скорость загрузки
~0,39сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,39сек оптимальна.
Объем документа
80Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 80Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 5
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 5 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | /assets/css/just-the-docs-default.css | |
| stylesheet | /assets/css/just-the-docs-head-nav.css | |
| stylesheet | https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/katex.min.css | |
| js | /assets/js/vendor/lunr.min.js | |
| js | /assets/js/just-the-docs.js |
Серверные заголовки
Кол-во: 18
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 18шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| Strict-Transport-Security | max-age=31556952 |
| ETag | "6a62513c-14086" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | 8122:1459C1:2E11B38:2E74B14:6A8A25E6 |
| x-github-edge-region | fra |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sat, 22 Aug 2026 22:42:46 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-fra-eddf8230179-FRA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787438567.626804,VS0,VE118 |
| Vary | Accept-Encoding |
| x-fastly-request-id | b3574fefeae0dceca3a3e7933fd64970083b6973 |
CMS
Jekyll v4.4.1
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
В мета-теге generator указано: Jekyll v4.4.1.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 48%
Title
Examples | ProofFrog
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение мало: 20, минимум: 25, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
A tool for verifying game-hopping proofs
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо увеличить число символов в description (текущее значение мало: 40, минимум: 80, оптимально: от 120 до 130)
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
https://prooffrog.github.io/examples.html
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Канонический Url прописан корректно.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Кол-во: 6
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph задана. Страница оптимизирована под социальные сети.
Показать полный список og мета-тегов
| Тип | Значение |
|---|---|
| og:title | Examples |
| og:locale | en_US |
| og:description | A tool for verifying game-hopping proofs |
| og:url | https://prooffrog.github.io/examples.html |
| og:site_name | ProofFrog |
| og:type | website |
Все мета-теги
Кол-во: 11
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 11шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width, initial-scale=1 |
| name | generator | Jekyll v4.4.1 |
| name | description | A tool for verifying game-hopping proofs |
| name | twitter:card | summary |
| property | og:title | Examples |
| property | og:locale | en_US |
| property | og:description | A tool for verifying game-hopping proofs |
| property | og:url | https://prooffrog.github.io/examples.html |
| property | og:site_name | ProofFrog |
| property | og:type | website |
| property | twitter:title | Examples |
Оптимизация Готовность: 62%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в единственном экземпляре).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 17 достаточно.
Среднее число слов в абзаце 89 достаточно.
Кол-во знаков контента 11327 на странице оптимально.
Кол-во слов 1765 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h2> 10. Это хорошо.
На странице присутствуют заголовки <h3> 11.
Тошнота
4,80
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 3. Измените текст страницы!
Академич. тошнота
20,79%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота превышает норму 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| encryption | 23 | 1,30% |
| multi-challenge | 21 | 1,19% |
| security | 19 | 1,08% |
| prooffrog | 18 | 1,02% |
| description | 15 | 0,85% |
| secure | 15 | 0,85% |
| one-time | 13 | 0,74% |
| example | 12 | 0,68% |
| ind-cpa | 11 | 0,62% |
| proofs | 10 | 0,57% |
| hybrid | 10 | 0,57% |
| exercise | 9 | 0,51% |
| implies | 9 | 0,51% |
| cryptography | 8 | 0,45% |
| elgamal | 8 | 0,45% |
| hashed | 8 | 0,45% |
| secrecy | 7 | 0,40% |
| beginner | 7 | 0,40% |
| symmetric | 7 | 0,40% |
| constructions | 7 | 0,40% |
Индексация Готовность: 0%
Индексирование
Есть ошибки
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 239 слишком много. Проведите ревизию и оптимизацию ссылок сайта.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 44
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 44 оптимально.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| / |
ProofFrog
|
|
| / |
Home
|
|
| /manual/ |
Manual
|
|
| /manual/installation.html |
Installation
|
|
| /manual/tutorial/ |
Tutorial
|
|
| /manual/tutorial/hello-frog.html |
Part 1: Hello Frog
|
|
| /manual/tutorial/otp-ots.html |
Part 2: OTP has one-time secrecy
|
|
| /manual/worked-examples/ |
Worked Examples
|
|
| /manual/worked-examples/chained-encryption.html |
Chained Encryption
|
|
| /manual/worked-examples/kemdem-cpa.html |
KEM-DEM CPA
|
|
| /manual/language-reference/ |
Language Reference
|
|
| /manual/language-reference/basics.html |
Basics
|
|
| /manual/language-reference/execution-model.html |
Execution Model
|
|
| /manual/language-reference/primitives.html |
Primitives
|
|
| /manual/language-reference/schemes.html |
Schemes
|
|
| /manual/language-reference/games.html |
Games
|
|
| /manual/language-reference/proofs.html |
Proofs
|
|
| /manual/canonicalization.html |
Canonicalization
|
|
| /manual/advantage-bounds.html |
Advantage Bounds
|
|
| /manual/limitations.html |
Limitations
|
|
| /manual/cli-reference.html |
Command-Line Interface
|
|
| /manual/web-editor.html |
Web Editor
|
|
| /manual/latex-export.html |
LaTeX Export
|
|
| /manual/editor-plugins.html |
Editor Plugins
|
|
| /manual/troubleshooting.html |
Troubleshooting
|
|
| /examples.html |
Examples
|
|
| /researchers/ |
For Researchers
|
|
| /researchers/scientific-background.html |
Scientific Background
|
|
| /researchers/engine-internals.html |
Engine Internals
|
|
| /researchers/soundness.html |
Soundness
|
|
| /researchers/gen-ai.html |
Gen AI & Proving
|
|
| /researchers/external-uses.html |
External Uses
|
|
| /researchers/publications/ |
Publications & More
|
|
| /researchers/publications/hacs-2024.html |
HACS 2024 Exercise
|
|
| /researchers/publications/caps-2025.html |
CAPS 2025 Tutorial
|
|
| /researchers/publications/hacs-2026/ |
HACS 2026 Updates
|
|
| /researchers/publications/hacs-2026/vibe/ |
Vibe-coding a proof
|
|
| /researchers/publications/hacs-2026/vibe/prompt.html |
Input: Prompt
|
|
| /researchers/publications/hacs-2026/vibe/scheme.html |
Output: Scheme
|
|
| /researchers/publications/hacs-2026/vibe/proof.html |
Output: Proof
|
|
| /researchers/publications/hacs-2026/vibe/transcript.html |
Claude Code Transcript
|
|
| /researchers/publications/hacs-2026/web.html |
Web interface
|
|
| /manual/language-reference/proofs.html |
<code class="language-plaintext highlighter-rouge">bound:</code> clause
|
|
| /researchers/external-uses.html |
external uses page
|
|
Внешние ссылки
Кол-во: 151
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 151 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать первые 100 внешних ссылок
| Url | Анкор |
|---|---|
| github.com |
Just the Docs
|
| github.com |
ProofFrog GitHub
|
| github.com |
ProofFrog/examples
|
| github.com |
<code class="language-plaintext highlighter-rouge">examples/joy</code>
|
| joyofcryptography.com |
The Joy of Cryptography
|
| github.com |
OTPCorrectness
|
| github.com |
One-time pad
|
| github.com |
correct
|
| github.com |
OTPSecure
|
| github.com |
One-time pad
|
| github.com |
one-time secrecy
|
| github.com |
OTPSecureLR
|
| github.com |
One-time pad
|
| github.com |
left-or-right one-time secrecy
|
| github.com |
ChainedEncryptionSecure
|
| github.com |
Chained encryption
|
| github.com |
one-time secrecy
|
| github.com |
README file about the Joy of Cryptography examples
|
| github.com |
INDOT$_implies_INDOT
|
| github.com |
IND-OT$
|
| github.com |
IND-OT
|
| github.com |
INDCPA$_MultiChal_implies_INDCPA_MultiChal
|
| github.com |
IND-CPA$ (multi-challenge)
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
ModOTP_INDOT
|
| github.com |
modular one-time pad
|
| github.com |
IND-OT
|
| github.com |
PRF-based symmetric encryption scheme
|
| github.com |
PRF
|
| github.com |
SymEncPRF_INDOT$
|
| github.com |
PRF-based symmetric encryption
|
| github.com |
IND-OT$
|
| github.com |
SymEncPRF_INDCPA$_MultiChal
|
| github.com |
PRF-based symmetric encryption
|
| github.com |
IND-CPA$ (multi-challenge)
|
| github.com |
symmetric encryption
|
| github.com |
composed scheme
|
| github.com |
INDOT$_implies_DoubleSymEnc_INDOT$
|
| github.com |
IND-OT$
|
| github.com |
double-encrypting
|
| github.com |
GeneralDoubleSymEnc_INDOT$
|
| github.com |
IND-OT$
|
| github.com |
GeneralDoubleSymEnc_INDCPA$_MultiChal
|
| github.com |
IND-CPA$ (multi-challenge)
|
| github.com |
EncryptThenMAC_INDCCA_MultiChal
|
| github.com |
Encrypt-then-MAC
|
| github.com |
IND-CCA (multi-challenge)
|
| github.com |
TriplingPRG_PRGSecurity
|
| github.com |
length-tripling PRG
|
| github.com |
PRG
|
| github.com |
secure
|
| github.com |
CounterPRG_PRGSecurity
|
| github.com |
counter-mode PRG
|
| github.com |
PRF
|
| github.com |
secure
|
| github.com |
PRFSecurity_implies_PRFSecurity_MultiKey
|
| github.com |
Multi-key PRF security
|
| github.com |
single-key PRF security
|
| github.com |
DDH_implies_CDH
|
| github.com |
DDH
|
| github.com |
CDH
|
| github.com |
DDH_implies_HashedDDH
|
| github.com |
DDH
|
| github.com |
Hashed DDH
|
| github.com |
CDH_implies_HashedDDH
|
| github.com |
CDH
|
| github.com |
Hashed DDH
|
| github.com |
DDHMultiChal_implies_HashedDDHMultiChal
|
| github.com |
DDH (multi-challenge)
|
| github.com |
Hashed DDH (multi-challenge)
|
| github.com |
GapCDH_implies_GapCDH_NZ
|
| github.com |
gap-CDH
|
| github.com |
non-zero-exponent variant
|
| github.com |
INDCPA_implies_INDCPA_MultiChal
|
| github.com |
IND-CPA
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
public-key encryption
|
| github.com |
ElGamal_Correctness
|
| github.com |
ElGamal
|
| github.com |
correct
|
| github.com |
ElGamal_INDCPA_MultiChal
|
| github.com |
ElGamal
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
DDH (multi-challenge)
|
| github.com |
HashedElGamal_INDCPA_MultiChal
|
| github.com |
Hashed ElGamal
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
Hashed DDH (multi-challenge)
|
| github.com |
HashedElGamal_INDCPA_ROM_MultiChal
|
| github.com |
Hashed ElGamal
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
DDH (multi-challenge)
|
| github.com |
HybridKEMDEM_INDCPA_MultiChal
|
| github.com |
KEM-DEM
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
HybridPKEDEM_INDCPA_MultiChal
|
| github.com |
PKE+SymEnc
|
| github.com |
IND-CPA (multi-challenge)
|
| github.com |
KEMPRF
|
| github.com |
PRF
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://prooffrog.github.io/examples.html готова к продвижению на 52%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: