Skip to content
View amiabix's full-sized avatar
🦦
🦦
13 followers · 16 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Block or report amiabix

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
amiabix/README.md

Abix

I like computers most when they have something to prove.

I build around zkVMs, rollups, privacy, and distributed systems. Most things here start with a fairly simple question: can this execution be proven, can this system be observed, or can something private be verified without exposing it?

Then I write enough code to find out.

Current rabbit holes include proving OP Stack execution, running Solana BPF inside a zkVM, making long-running prover jobs easier to inspect, implementing cryptographic primitives and precompiles, and producing verifiable receipts for private agent context.

Some projects become useful tools. Some remain rough experiments. Some are evidence that the original question was much harder than it looked.

I care about software that is verifiable, private when it needs to be, and usable without pretending the machinery underneath does not exist.

Mostly building, breaking, and documenting things. Occasionally in that order.

@0xAbix · LinkedIn

Pinned Loading

  1. ZisK-BPF ZisK-BPF Public

    ZisK-based proof system experiments for Solana BPF program execution.

    Rust 1

  2. Poseidon_zisk Poseidon_zisk Public

    Rust implementation work around Poseidon for ZisK VM experiments.

    Rust

  3. Miden-Zcash Miden-Zcash Public

    Exploratory work around Zcash-style privacy flows using Miden and ZK tooling.

    TypeScript 2

  4. OP-ZisK OP-ZisK Public

    Experiments around proving OP Stack execution with ZisK.

    Solidity 1

  5. doxa-litepaper doxa-litepaper Public

    Doxa Protocol Technical Litepaper

    HTML

  6. hydradb-zisk-receipts hydradb-zisk-receipts Public

    Private agent context receipts with HydraDB retrieval and ZisK verification

    Rust