Skip to content
@nexus-xyz

Nexus

Enabling Verifiable Computation
README.md

Pinned Loading

  1. nexus-zkvm nexus-zkvm Public

    The Nexus zkVM: The zero-knowledge virtual machine

    Rust 2.4k 440

  2. nexus-cli nexus-cli Public

    Command line interface for supplying proofs to the Nexus network.

    Rust 722 250

Repositories

Showing 10 of 10 repositories
  • nexus-cli Public

    Command line interface for supplying proofs to the Nexus network.

    nexus-xyz/nexus-cli’s past year of commit activity
    Rust 722 Apache-2.0 250 31 10 Updated May 1, 2025
  • nexus-zkvm Public

    The Nexus zkVM: The zero-knowledge virtual machine

    nexus-xyz/nexus-zkvm’s past year of commit activity
    Rust 2,424 440 3 1 Updated Apr 17, 2025
  • nexus-zkvm-cla Public
    nexus-xyz/nexus-zkvm-cla’s past year of commit activity
    4 0 0 0 Updated Apr 13, 2025
  • awesome-nexus Public

    A curated list of awesome Nexus code, libraries, software and resources

    nexus-xyz/awesome-nexus’s past year of commit activity
    19 Apache-2.0 9 0 4 Updated Feb 26, 2025
  • nexus-nft-example Public
    nexus-xyz/nexus-nft-example’s past year of commit activity
    TypeScript 47 MIT 30 1 1 Updated Feb 26, 2025
  • nexus-counter-app Public

    An example counter app on Nexus

    nexus-xyz/nexus-counter-app’s past year of commit activity
    TypeScript 31 MIT 41 1 3 Updated Feb 25, 2025
  • .github Public
    nexus-xyz/.github’s past year of commit activity
    13 MIT 4 0 0 Updated Feb 17, 2025
  • assets Public
    nexus-xyz/assets’s past year of commit activity
    CSS 12 4 0 0 Updated Feb 11, 2025
  • jolt Public Forked from a16z/jolt

    The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡

    nexus-xyz/jolt’s past year of commit activity
    Rust 8 MIT 237 0 2 Updated Dec 3, 2024
  • acl2-experiment Public

    ACL2 experiments on arithmetic circuits

    nexus-xyz/acl2-experiment’s past year of commit activity
    Common Lisp 11 4 0 1 Updated Jul 31, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.