Pinned Loading

1. inertialabsxyz/proveno inertialabsxyz/proveno Public

   Verifiable tasks: write a task in Lua and prove it ran exactly as written.

   Rust 1

2. inertialabsxyz/attestly inertialabsxyz/attestly Public

   Agent Work Protocol - Signed attestations for AI agent work.

   Rust

3. inertialabsxyz/atar inertialabsxyz/atar Public

   A Solana Virtual Machine implementation for the JAM blockchain platform. Atar enables Solana SBPF programs to run on JAM.

   Rust

4. inertialabsxyz/trivial-circuits inertialabsxyz/trivial-circuits Public

   Trivial circuits with Arkworks

   Rust

5. inertialabsxyz/zkvm-merkle-comparison inertialabsxyz/zkvm-merkle-comparison Public

   Zero-knowledge proof systems implementing identical Merkle tree proof verification across five zkVM frameworks

   Rust

6. inertialabsxyz/eez-settlement inertialabsxyz/eez-settlement Public

   A sealed-bid solver auction on an L2 that settles against L1 liquidity. Users keep custody, and the auction is verifiable on-chain.

   Solidity