oxalslien
| Crates.io | oxalslien |
| lib.rs | oxalslien |
| version | 0.1.0 |
| created_at | 2025-12-14 04:54:36.674183+00 |
| updated_at | 2025-12-14 04:54:36.674183+00 |
| description | ALIEN-inspired claim verification and finality probability simulator |
| homepage | https://github.com/JROChub/oxalslien |
| repository | https://github.com/JROChub/oxalslien |
| max_upload_size | |
| id | 1983805 |
| size | 8,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