The post has been translated automatically. Original language: Russian
We have launched a single download page for Sekura products.
It will publish ready-made builds of our tools for supported platforms along with the information needed to verify a specific release.
The first public builds of Sekura JS, Sekura SJV, and the Memora8 MR8Sim simulator are now available on the page.
Sekura JS and Sekura SJV
Sekura JS is a language and a set of tools that we are developing, in which special attention is paid to the verifiability of programs.
The first builds are published on the Downloads page:
- sekura-js — the Sekura JS compiler;
- sekura-sjv — verification tool;
- macOS version on Apple Silicon;
- a package for Windows x64.
The Windows package also includes the necessary components for running verification and an extension for Visual Studio Code.
For each published assembly, we specify SHA-256 so that the uploaded file can be compared with the one that was published by us.
MR8Sim
The version of MR8Sim 0.1.0, the Memora8 architecture command simulator, is also published there.
Builds are available for:
- macOS arm64;
- Windows x64.
The archives include the simulator itself, examples, README, license, and information about third-party components.
As for Sekura JS, checksums are published for archives and executable files.
Why do we publish hashes and manifests?
For a regular download of the program, a link to the file is sufficient.
But for development and verification tools, it is important to be able to unambiguously answer another question.:
which binary file was used?
Therefore, along with the releases, we publish:
- Version number;
- SHA-256;
- checksum manifests;
- release manifests;
- information about licenses;
- information about third-party dependencies.
This allows you to fix a specific assembly and subsequently verify its integrity.
This is especially important for our projects, as Sekura is gradually developing the software assurance direction — the ability to link requirements, implementation, test results, and specific versions of the tools used.
One address for public releases
As new versions and platforms become available, we will add them to the same page.
Thus, Downloads becomes a single public place to receive the official binary assemblies of Sekura, Memora8 and Reganta and the information necessary for their verification.
This is a small infrastructural step, but it is important for the next stage of development of our tools: from development within the project to reproducible and identifiable public releases.
Мы запустили единую страницу загрузок продуктов Sekura.
На ней будут публиковаться готовые сборки наших инструментов для поддерживаемых платформ вместе с информацией, необходимой для проверки конкретного релиза.
Сейчас на странице доступны первые публичные сборки Sekura JS, Sekura SJV и симулятора Memora8 MR8Sim.
Sekura JS и Sekura SJV
Sekura JS — разрабатываемый нами язык и набор инструментов, в котором отдельное внимание уделяется проверяемости программ.
На странице Downloads опубликованы первые сборки:
- sekura-js — компилятор Sekura JS;
- sekura-sjv — инструмент для работы с верификацией;
- версия для macOS на Apple Silicon;
- пакет для Windows x64.
Windows-пакет также включает необходимые компоненты для запуска верификации и расширение для Visual Studio Code.
Для каждой опубликованной сборки мы указываем SHA-256, чтобы загруженный файл можно было сверить с тем, который был опубликован нами.
MR8Sim
Там же опубликована версия MR8Sim 0.1.0 — командного симулятора архитектуры Memora8.
Доступны сборки для:
- macOS arm64;
- Windows x64.
В архивы входят сам симулятор, примеры, README, лицензия и информация о сторонних компонентах.
Как и для Sekura JS, для архивов и исполняемых файлов опубликованы контрольные суммы.
Зачем мы публикуем хеши и manifests
Для обычного скачивания программы достаточно ссылки на файл.
Но для инструментов разработки и верификации важно иметь возможность однозначно ответить на другой вопрос:
какой именно бинарный файл использовался?
Поэтому вместе с релизами мы публикуем:
- номер версии;
- SHA-256;
- checksum manifests;
- release manifests;
- информацию о лицензиях;
- сведения о сторонних зависимостях.
Это позволяет зафиксировать конкретную сборку и впоследствии проверить ее целостность.
Для наших проектов это особенно важно, поскольку Sekura постепенно развивает направление software assurance— возможность связывать требования, реализацию, результаты проверок и конкретные версии используемых инструментов.
Один адрес для публичных релизов
По мере появления новых версий и платформ мы будем добавлять их на ту же страницу.
Таким образом, Downloads становится единым публичным местом для получения официальных бинарных сборок Sekura, Memora8 и Reganta и информации, необходимой для их проверки.
Это небольшой инфраструктурный шаг, но важный для следующего этапа развития наших инструментов: от разработки внутри проекта — к воспроизводимым и идентифицируемым публичным релизам.
Share
