Skip to content

Issues: nexus-xyz/nexus-zkvm

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 66 Closed
27 Open 66 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[BUG]: Witness size to be a power of 2^n isn't checked in Spartan/crr1csproof.rs bug Something isn't working
#287 opened Oct 18, 2024 by h-hafezi
1
1
[FEATURE]: Open-source CPU targets
#273 opened Aug 19, 2024 by taqtiqa-mark
4 tasks
Improve the syscall interface
#264 opened Aug 6, 2024 by duc-nx
add rust-toolchain.toml for the host program
#262 opened Aug 2, 2024 by onur-ozkan
8
Fix Jolt compilation error
#251 opened Jul 26, 2024 by duc-nx
[FEATURE]: Optimize the size of R1CSShape of PublicParams
#244 opened Jul 20, 2024 by flyq
3
[FEATURE]: prove and verify test machines using jolt in CI
#239 opened Jul 17, 2024 by yoichi-nexus
Replace superconsole in cli
#221 opened Jul 13, 2024 by slumber
add constraint spans to vm circuits
#201 opened Jun 25, 2024 by slumber
Requirements not in documentation
#174 opened Jun 11, 2024 by Speedevs
Add end-to-end zkVM regression test
#165 opened May 30, 2024 by mx00s
fix "spartan" feature
#147 opened Apr 22, 2024 by slumber
2
Met an Error of misaligned memory access when tried with sqlparser crate
#142 opened Apr 11, 2024 by silathdiir
3
Docs: Benchmark results documentation Improvements or additions to documentation
#137 opened Apr 2, 2024 by govereau
keccak example fails to prove
#118 opened Mar 5, 2024 by Dustin-Ray
4
Fix verification messages
#115 opened Mar 1, 2024 by JensNexus
2
Docs (Guide): Add guide on how to use folding (Nova, CycleFold, etc.) without the zkVM abstraction on R1CS circuits documentation Improvements or additions to documentation
#112 opened Feb 29, 2024 by danielmarinq v1
@slumber
Docs: Nexus 2.0 Memory Checking System documentation Improvements or additions to documentation
#111 opened Feb 29, 2024 by danielmarinq
6 tasks
v2
@Antiparadox @JensNexus @michel-nexus
Precompile: Poseidon enhancement New feature or request
#109 opened Feb 29, 2024 by danielmarinq v2
@govereau @slumber
Docs: Nexus Proof Compression - Phase 2 documentation Improvements or additions to documentation
#108 opened Feb 29, 2024 by danielmarinq v2
@guruvamsi-policharla @tess-eract
@JensNexus @michel-nexus
1
Docs: Nexus Virtual Machine I/O Mechanism documentation Improvements or additions to documentation
#107 opened Feb 29, 2024 by danielmarinq
6 tasks
v2
@govereau @JensNexus @michel-nexus
README: Add that cmake is a required dependency. documentation Improvements or additions to documentation
#106 opened Feb 29, 2024 by danielmarinq v1
@slumber
Docs: Nexus IVC Prover - HyperNova documentation Improvements or additions to documentation
#104 opened Feb 29, 2024 by danielmarinq
6 tasks
v2
@sjudson @tess-eract
@JensNexus @michel-nexus
Docs: Nexus IVC Prover - SuperNova with CycleFold documentation Improvements or additions to documentation
#103 opened Feb 29, 2024 by danielmarinq
5 tasks
v2
@tess-eract @JensNexus @michel-nexus
Docs: Nexus PCD Prover - Binary-Tree Parallel Nova + CycleFold documentation Improvements or additions to documentation
#102 opened Feb 29, 2024 by danielmarinq
3 of 4 tasks
v1
@tess-eract @JensNexus @michel-nexus
ProTip! Follow long discussions with comments:>50.