nexus-xyz/nexus-zkvm

Issues

• Enable Curve + Commitment Configuration

  #169 opened 3 days ago
  4

• Rework nexus-runtime macros

  #167 opened 4 days ago
  1

• Add end-to-end zkVM regression test

  #165 opened 10 days ago
  0

• Prove Optimized Code

  #155 opened a month ago
  0

• Simple `Display` impl doesn't render full output

  #153 opened a month ago
  4

• Set Memory Limit through API/SDK

  #152 opened a month ago
  0

• Prover SDK tracking issue

  #148 opened 2 months ago
  7

• remove "spartan" feature

  #147 opened 2 months ago
  0

• Met an Error of `misaligned memory access` when tried with sqlparser crate

  #142 opened 2 months ago
  3

• Docs: Benchmark results

  #137 opened 2 months ago
  0

• implement private input for NVM and riscv

  #132 opened 2 months ago
  0

• use NVM memory controller in riscv crate

  #131 opened 2 months ago
  0

• introduce memory controller

  #125 opened 2 months ago
  0

• keccak example fails to prove

  #118 opened 3 months ago
  3

• Add allcontributors integration to README

  #117 opened 3 months ago
  6

• Fix verification messages

  #115 opened 3 months ago
  1

• Docs (Guide): Add guide on how to use folding (Nova, CycleFold, etc.) without the zkVM abstraction on R1CS circuits

  #112 opened 3 months ago
  0

• Docs: Nexus 2.0 Memory Checking System

  #111 opened 3 months ago
  0

• Docs: Nexus 1.0 Memory Checking System

  #110 opened 3 months ago
  2

• Precompile: Poseidon

  #109 opened 3 months ago
  0

• Docs: Nexus Proof Compression - Phase 2

  #108 opened 3 months ago
  1

• Docs: Nexus Virtual Machine I/O Mechanism

  #107 opened 3 months ago
  0

• README: Add that `cmake` is a required dependency.

  #106 opened 3 months ago
  0

• Docs: Nexus Public Parameters

  #105 opened 2 months ago
  0

• Docs: Nexus IVC Prover - HyperNova

  #104 opened 3 months ago
  0

• Docs: Nexus IVC Prover - SuperNova with CycleFold

  #103 opened 3 months ago
  0

• Docs: Nexus PCD Prover - Binary-Tree Parallel Nova + CycleFold

  #102 opened 3 months ago
  0

• Docs: Nexus IVC Prover - Nova + CycleFold

  #101 opened 2 months ago
  0

• Docs: Nexus Proof Compression

  #100 opened 3 months ago
  1

• Fix broken links to previous `nexus-docs` repo.

  #98 opened 3 months ago
  0

• Add CONTRIBUTING.md

  #95 opened 3 months ago
  1

• Add a section to readme on codebase structure

  #94 opened 4 days ago
  1

• Add MIT / Apache 2.0 License

  #91 opened 3 months ago
  5

• `cargo nexus new` fails to run `cargo add --git` command because of SSH auth issue

  #90 opened 3 months ago
  1

• Fiix NVM tests related to test_machines

  #81 opened 3 months ago
  1

• Reduce VM memory size

  #80 opened 4 months ago
  0

• Incorrect translation of computed jumps

  #79 opened 4 months ago
  0

• Implement HyperNova

  #76 opened a month ago
  0

• Improvements to NVM

  #72 opened 2 months ago
  0

• Bug: Simple Fibonacci program fails to expand code within the Nexus VM

  #71 opened 4 months ago
  7

• Feat: Implement `cargo nexus clean`

  #70 opened 4 days ago
  3

• Print NVM execution trace and number of NVM cycles

  #64 opened 4 months ago
  0

• benchmarks and proof size before and after compression

  #31 opened 5 months ago
  0

• Integrate the compression functionality into the prover and network crates

  #29 opened 4 days ago
  2

• `cargo nexus run` doesn't recompile the source code

  #21 opened 6 months ago
  0

• `cargo nexus local-prove` fails when public params set with `k != 1`

  #20 opened 6 months ago
  2

• Fix `[no_std]` `rust_analyzer` error for `cargo nexus new`

  #18 opened 6 months ago
  2

• Improvements to network prover

  #12 opened 4 months ago
  1

• Initial implementation of network prover

  #11 opened 6 months ago
  1

• Connect zkVM to parallel prover

  #9 opened 7 months ago
  0