Kasteran — A Rune-Based Systems Language for the Cryptographic Era
Most systems programming languages were designed before cryptography became a first-class concern. Kasteran starts from a different premise: cryptographic operations should be as natural as arithmetic, memory safety should be provable at compile time, and syntax should communicate intent, not ceremony.
The Rune-Based Philosophy
Kasteran uses rune-based symbolic syntax — each Unicode rune maps to a fundamental operation or type. This isn't about aesthetics; it's about density and clarity. A single rune can express what takes five tokens in C or Rust, while maintaining readability through visual pattern recognition.
flowchart LR
S[Source Code] -->|Rune Parser| AST[Abstract Syntax Tree]
AST -->|Symbolic Type Checker| TIR[Typed IR]
TIR -->|Crypto Primitive Inliner| MIR[Optimized IR]
MIR -->|LLVM Backend| BIN[Binary]
MIR -->|Audit Trail| AF[.aioss Ledger\nVerification Artifacts]
Key Features
Built-In Cryptographic Primitives
Kasteran includes Ed25519 signing, SHA3-256 hashing, and XChaCha20-Poly1305 encryption as language-level primitives — no libraries to import, no FFI to configure. The compiler inlines cryptographic operations directly, producing constant-time code that resists timing attacks.
flowchart LR
subgraph "Kasteran Crypto Primitives"
ED25519[Ed25519\nSign/Verify]
SHA3[SHA3-256\nHash]
XCHACHA[XChaCha20\nEncrypt/Decrypt]
end
ED25519 -->|Compile-Time Inline| ASM[Constant-Time ASM]
SHA3 --> ASM
XCHACHA --> ASM
ASM -->|Link| BIN[Binary]
Memory Safety Without GC
Kasteran uses a borrow-checker model inspired by Rust but simplified through rune annotations. The ◆ (sealed rune) marks immutable references, ◇ (open rune) marks mutable references, and ○ (circular rune) marks move operations. These compile to the same efficient machine code as C while guaranteeing absence of use-after-free, double-free, and buffer overflows.
Native .aioss Format Support
Every Kasteran program can emit .aioss ledger entries natively. The compiler generates verification artifacts alongside the binary, allowing third parties to verify that the compiled code matches the source. This creates a tamper-evident chain from source to execution.
Symbolic Type System
Kasteran's type system uses symbolic constraints rather than nominal types. A ◆〈u64, 0..100〉 annotation declares a sealed u64 constrained to 0–100. The constraint is enforced at compile time, not runtime, eliminating bounds checks.
Why Kasteran for Systems Programming?
Systems programming faces a quality crisis. C and C++ dominate embedded and kernel work but lack memory safety. Rust fixes this with a steep learning curve. Kasteran targets the middle ground: the safety guarantees of Rust with the learning curve of Go, expressed through visually mnemonic rune syntax.
| Feature | C | Rust | Kasteran |
|---|---|---|---|
| Memory safety | Manual | Borrow checker | Rune-annotated |
| Crypto primitives | Library | Library | Native |
| .aioss support | None | None | Compiler-built |
| Learning curve | Moderate | Steep | Moderate |
| Binary size | Small | Medium | Small |
Example
A simple Ed25519 signature in Kasteran:
◆〈Ed25519〉 signer = ◆◆〈Seed〉from "keypair.seed"
◆〈Message〉 msg = ◆〈Message〉"hello, world"
◆〈Signature〉 sig = signer◆sign(msg)
The ◆ runes denote sealed (immutable) bindings, while signer◆sign invokes the built-in signing primitive. No imports, no error-prone FFI, no runtime overhead.
Getting Started
Kasteran is in early development. The compiler source is available on GitHub:
git clone https://github.com/kleinnner/Anticloud.git
cd Anticloud/09-kasteran
See the Kasteran documentation for full language specification and examples.
Related Projects
- Kathon — Cryptographic browser implemented in Kasteran
- Libern — The cryptographic library that Kasteran wraps as native primitives
- Kazcade — Vector file system with native Kasteran bindings
.====================================================================.
! Made in the UAE, Dubai #DubaiIt #Dubai #Dxb #SovereignAI !
! Made in The Emirates #Dubai_it !
! !
! Lois-Kleinner Alpasan - The Anticloud 2026- !
! !
! As seen on: !
! Harvard Dataverse ! Zenodo/CERN ! Academia.edu ! HuggingFace !
! anticloud.telepedia.net ! anticloud.fandom.com !
! !
! 0-1.gg ! GitHub ! LinkedIn ! DEV ! GH Pages !
! HuggingFace ! Blog ! Bluesky ! Mastodon !
! Internet Archive ! ORCID ! Figshare !
! !
! Sovereign AI ! Local-First ! Privacy ! Zero Trust ! No Datacenter !
! Air-Gapped ! Open Source ! Rust ! Hash Chain ! Single Binary !
! Offline LLM ! Crypto Ledger ! P2P ! Federated !
'===================================================================='
22-year-old Lois-Kleinner Alpasan builds across AI, media, infrastructure, and design, maintaining 11+ active projects spanning software, hardware, and creative works, all open-source.
References:
- Lois-Kleinner Zenodo: https://doi.org/10.5281/zenodo.20781790
- Lois-Kleinner GitHub: https://github.com/kleinnner/Anticloud/tree/main/04-aioss-format
- Lois-Kleinner Harvard DV: https://doi.org/10.7910/DVN/3VDF75
- Lois-Kleinner Internet Arc: https://archive.org/details/aioss-format
- Lois-Kleinner ORCID: https://orcid.org/0009-0009-2233-6107
- Lois-Kleinner DEV.to: https://dev.to/kleinner
- Lois-Kleinner LinkedIn: https://linkedin.com/in/kleinner
- Lois-Kleinner HuggingFace: https://huggingface.co/Anticloud
- Lois-Kleinner Tumblr: https://anticloud.tumblr.com
- Lois-Kleinner Mastodon: https://mastodon.social/@kleinner
- Lois-Kleinner Bluesky: https://bsky.app/profile/kleinner.bsky.social
- 0-1.gg: https://0-1.gg
- Lois-Kleinner Figshare: https://figshare.com/authors/Lois-Kleinner_Alpasan/20849885
- Lois-Kleinner Academia: https://independent.academia.edu/kleinner
- Lois-Kleinner Telepedia: https://anticloud.telepedia.net/wiki/Anticloud_by_Lois-Kleinner_Wiki
- Lois-Kleinner Fandom: https://anticloud.fandom.com
- AIOSS Offline Verification Kit: https://dataverse.harvard.edu/dataset.xhtml?persistentId=doi:10.7910/DVN/OORKNJ