Skip to content
View amiabix's full-sized avatar
🦦
🦦

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.

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

Ayush Bhadauria

Developer infrastructure for distributed systems.

Work across proving systems, zkVMs, rollups, and privacy-preserving compute, with a focus on turning early protocol infrastructure into tools developers can understand, test, and integrate.

The main operating area is the space between protocol engineering and developer adoption: SDK validation, reference implementations, technical documentation, onboarding flows, integration feedback, and ecosystem coordination.


Focus

Making verifiable execution usable as developer infrastructure.

Core areas of work include:

  • developer experience for zkVMs and proving systems
  • SDK and API design for cryptographic infrastructure
  • reference implementations and integration examples
  • observability for proving workflows
  • documentation systems for technical protocols
  • feedback loops between external builders and engineering teams
  • ecosystem strategy for early infrastructure adoption

The broader question behind the work:

How can complex cryptographic systems become usable without forcing every developer to understand the entire proving stack?


Current Direction

Current work is centered on zkVM infrastructure, rollup proving workflows, and verifiable execution.

Areas of exploration:

  • proof generation as a developer workflow
  • execution receipts as application infrastructure
  • rollup proving pipelines that are observable and debuggable
  • privacy-preserving context and policy verification
  • developer-facing abstractions for distributed proving
  • agent and application workflows that require verifiable computation

Selected Work

Project Focus
hydradb-zisk-receipts Private agent context receipts using HydraDB retrieval and ZisK verification
OP-ZisK OP Stack proving experiments with ZisK
op-zisk-prover-Dashboard Observability for prover jobs, execution state, and proving workflows
ZisK-BPF Experiments around verifying Solana BPF execution in a zkVM context
Poseidon_zisk Rust implementation work around Poseidon for ZisK experiments
Miden-Zcash Exploratory privacy-flow experiments using ZK tooling
ZisK-Docs Draft documentation and onboarding resources for ZisK developers

These projects are mostly experiments, working references, and technical notes used to understand where developer tooling, documentation, and workflows need to improve.


Background

ZisK — Developer Experience / Growth Engineer Developer workflows, SDK validation, reference implementations, documentation, proving experiments, and ecosystem integrations around zkVM infrastructure.

Vana — Product & Ecosystem Strategy Decentralized AI, DataDAOs, data ownership, builder programs, product feedback, and ecosystem development around data economy infrastructure.

Polygon Labs — Growth & Strategy, Developer Ecosystem Developer ecosystem work across Polygon PoS, zkEVM, CDK, Plonky3, Nightfall, ZK ecosystem initiatives, technical community programs, and infrastructure adoption.

Onecdot — Co-Founder NFT API infrastructure focused on making Web3 application development easier to integrate and scale.


Areas of Interest

Systems: zkVMs, rollups, Ethereum infrastructure, proving systems, privacy-preserving compute Developer infrastructure: SDKs, APIs, documentation, reference implementations, dashboards, onboarding flows Research direction: verifiable execution, private context, agent receipts, distributed proving, cryptographic developer tools


Links

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