nexus-xyz / nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine
https://docs.nexus.xyz
Apache License 2.0
755 stars 242 forks source link

Fix Panic bug by replacing alloc #249

Closed duc-nx closed 4 months ago

duc-nx commented 4 months ago

Fix Panic bug by replacing alloc

Summary: Fix PANIC bug.

At your local, run command:

assets/scripts/smoke.sh examples/src/bin/galeshapley.rs

My output:

  Setting up public parameters for IVC ... 21.5s
    Finished in 21.5s

Number of Employers  = 10
Number of Candidates = 8

Beginning matching...

Found matching (employer, candidate): (0, 0), (1, None), (2, 3), (3, 6), (4, 5), (5, 4), (6, 2), (7, 7), (8, 1), (9, None)

  Loading public parameters ... 4.8s
 Finished in 4.8s
  Computing step 0 ... 1.5s
  Computing step 1 ... 1.8s
  Computing step 2 ..  743ms
    Proving [>                        ] 2/2047: ...
^C++ cleanup
++ cd /Users/cothan/Work/nexus/sapling/nexus-zkvm

Beside, I have to adjust the linker size of JOLT. I have not tested it yet.

Summary:

Test Plan:


Stack created with Sapling. Best reviewed with ReviewStack.

vercel[bot] commented 4 months ago

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
nexus-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jul 26, 2024 4:11pm
duc-nx commented 4 months ago

Related to #155