Skip to content
/ alibi Public

A Rust-powered, no-std-compatible cryptographic engine and tamper-proof ledger designed for local proof generation on any device

Notifications You must be signed in to change notification settings

m1kc3b/alibi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

54 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

🧠 Alibi – Embedded Cryptographic Ledger Core

Alibi is a Rust-powered, no-std-compatible cryptographic engine and tamper-proof ledger designed for local proof generation on any device β€” embedded, mobile, WASM, or desktop.

πŸ›‘οΈ Zero-trust. Self-contained. Audit-friendly. Built for real-world integrity.

🧩 What is Alibi?

Alibi provides a minimal yet powerful set of cryptographic primitives and a verifiable append-only ledger to enable local proofs of authenticity, integrity, and time β€” without relying on third-party infrastructure.

Whether you're building a secure logger, a decentralized audit system, or a verifiable CI/CD chain, Alibi runs independently, cryptographically-secure, and deterministic.

✨ Core Features

πŸ” Cryptography

  • Ed25519 or secp256k1 support (configurable)

  • SHA256 hashing (single or batch)

  • Message signing and signature verification

πŸ”‘ Key Management

  • Private key generation/import/export

  • Encrypted private key storage (AES + password or symmetric key)

  • Public key export

🧾 Embedded Ledger

  • Signed block creation (timestamp, payload, parent hash)

  • Local chain validation (integrity & signature)

  • Encrypted ledger export (AES-GCM)

  • JSON export (coming soon)

πŸ“Ž Proofs Engine

  • [WIP] Signature proof (data + signature + pubkey + timestamp)

  • [WIP] Identity pre-proof (public key hash)

  • Proof-of-localization (via bindings)

  • Proof-of-humanity (via external adapter)

πŸš€ Use Cases

  • πŸ›  Embedded audit trails in CI/CD (e.g., GitHub Actions, GitLab)

  • πŸ“² Local proof generation for mobile & edge devices

  • πŸ”’ Verifiable logging for compliance, security & trust

  • 🧬 Base layer for decentralized identity or ZK systems

πŸ› οΈ Technical Stack

  • Language: Rust (#![no_std])

  • Crypto crates: ed25519-dalek, sha2, aes-gcm, pbkdf2

  • Platform targets: WebAssembly, Android NDK, iOS (XCFramework), RISC-V

  • Architecture: stateless, deterministic, embeddable

πŸ“… Roadmap

  • Identity fingerprinting

  • JSON export format

  • Signature proof struct

  • Multilang bindings (Python, Go, Swift)

About

A Rust-powered, no-std-compatible cryptographic engine and tamper-proof ledger designed for local proof generation on any device

Resources

Stars

Watchers

Forks