oxalslien

Crates.iooxalslien
lib.rsoxalslien
version0.1.0
created_at2025-12-14 04:54:36.674183+00
updated_at2025-12-14 04:54:36.674183+00
descriptionALIEN-inspired claim verification and finality probability simulator
homepagehttps://github.com/JROChub/oxalslien
repositoryhttps://github.com/JROChub/oxalslien
max_upload_size
id1983805
size8,748
Lex Luger (JROChub)

documentation

https://docs.rs/oxalslien

README

OxalSLIEN

ALIEN-inspired Claim Simulator in Rust

OxalSLIEN simulates claim verification using concepts from the ALIEN theorem:

  • Acceptance probability with multiple provers and retry budget
  • Provability levels
  • Finalization likelihood

Features

  • Simple CLI for submitting claims
  • ALIEN-inspired acceptance probability calculation
  • Provability Level simulation (n = 1..5)
  • Status output: Low / Likely / Highly likely to finalize

Requirements

  • Rust 1.70+ (stable)

Build and Run

# Clone repo
git clone <repo-url>
cd oxalslien

# Build
cargo build --release

# Run
cargo run
Commit count: 0

cargo fmt