Sekura JS
Version 0.1.1
Released: September 29, 2026.
Command-line tools for Apple Silicon (arm64) and Windows x64. The macOS build requires Homebrew libsodium and Z3 for SJV proof generation and replay; CVC5 is optional for cross-checking.
| Platform | Package | Archive SHA-256 | sekura-js SHA-256 |
sekura-sjv SHA-256 |
|---|---|---|---|---|
| macOS arm64 | SekuraJS-v0.1.1-macos-arm64.zip | 959770fc8a8f52bbe50dca08df1a11671cb26f9b4c720d6336b7fadc47e0bade |
75da696801873c0348a4b810e9203a978c7b6dd0cca949025e64dd6f5d66c16b |
b7948d1db4b65df69dc83271b8c0363a53125a95195efd053a5833e3b44416b1 |
| Windows x64 | SekuraJS-0.1.1-windows-x64.zip | 55ec1f08be8e2b08e53ec47c1f913001f511ba7b3940502dbda13e670cacd83d |
87cd192b8a67c356dcd4ded04368d1f5f2d4af89918addecc245eb0b5f275fec |
b090f9611429427efe18432fcb9740e4a96fcaac1dab83d4220eca182485475d |
Release files:
- macOS: Installation and usage notes · License · Third-party notices
- Windows: License · Third-party notices
- Full Sekura JS license page
Version 0.1
macOS arm64
Requires macOS 26.0 or later and Homebrew libsodium. SJV proof generation and replay also require Z3; CVC5 is optional for cross-checking.
| File | Download | SHA-256 |
|---|---|---|
sekura-js compiler |
Download | b2bc6011f140373fe685632f97a3236e34159e08214c06d050b77dfeac6e81fb |
sekura-sjv verifier |
Download | 51d6d11bf3f7426fc41dc030e923429528f30466288336980769c141acf99656 |
| Checksum manifest | SHA256SUMS |
Release files: License · Third-party notices · Installation and usage notes.
Windows x64
The ZIP includes the compiler, verifier, Z3 and its runtime DLL, the VS Code extension package, and license notices.
| File | Download | SHA-256 |
|---|---|---|
| Windows x64 package | SekuraJS-0.1.0-windows-x64.zip | F77C608D9845302D2C7F63C1E119F9DE21D237C9BB538A5498640C82D8544153 |
sekura-js.exe (inside ZIP) |
Included in package | 4E514FC9797B3A10607258CCB9CA519D733E6EAFDAFE54EB3216EAAAA256FECF |
sekura-sjv.exe (inside ZIP) |
Included in package | F56F73FF1B0E3105ACED8DEC0346E090808B4D9DE194A52222EE474F920A2AA2 |
| Checksum manifest | SHA256SUMS |
Release files: License · Third-party notices · Boost license · libsodium license · Z3 license · zlib license · Windows installation and usage notes.
Memora8 MR8Sim
Version 0.1.1
Released: September 29, 2026.
MR8Sim command-line simulator for Apple Silicon macOS and Windows x64. Each ZIP includes the simulator, example inputs, a README, the MR8Sim license, and third-party notices.
| Platform | Package | Archive SHA-256 | Executable SHA-256 |
|---|---|---|---|
| macOS arm64 | mr8sim-v0.1.1-macos-arm64.zip | 5f1d167fe9fb28089e4754264239d82206ef35287962ed70eaffa5021ea0aa78 |
6bb4c6289236dea84fba9036c118201cccc3432f6aa989d61688055ecc8f96e0 |
| Windows x64 | mr8sim-v0.1.1-windows-x64.zip | 4d31fc47790c7de717c8cf7e86f69cd837a8e31443beffc4719ee13beba9e671 |
1ebac1659cbf85e0919da6b56f6cdbe843e11c1fc19e1f4c68aba394c1770fe9 |
Release files:
- macOS checksums · macOS release manifest · macOS license · macOS third-party notices
- Windows checksums · Windows release manifest · Windows license · Windows third-party notices · Windows language test evidence
Version 0.1
| Platform | Package | Archive SHA-256 | Executable SHA-256 |
|---|---|---|---|
| macOS arm64 | mr8sim-v0.1.0-macos-arm64.zip | 7309c3a6af02acac8aa728ee8700e1350baef2089dfe709b3e597852b4342dc1 |
62597f954e71b2976d04d57ebc55ee59bdc47565e2d7903612aa371b663ed695 |
| Windows x64 | mr8sim-v0.1.0-windows-x64.zip | c0f9e30d038c7cfe14b2c12811dc6f5d2d60be73bdb7f3afb94b388ab34756cd |
fc16dc78210000a0c678f63bf8fbc98b07b02f2b808dfde3eb63875a5d4a636 |
Release files: macOS checksums · Windows checksums · Combined release manifest · macOS release manifest · Windows release manifest.
- macOS: MR8Sim license · Third-party notices
- Windows: MR8Sim license · Third-party notices