Proof is invalid

[vivianjeng]

Describe the bug
Now the proof verification failed

failures:
    proof::tests::verify_proof::test_semaphore_js_proof
    proof::tests::verify_proof::test_verify_proof
    proof::tests::verify_proof::test_verify_proof_with_different_depth

during the assertion

assertion failed: Proof::verify_proof(proof)

To Reproduce
just running

cargo test

Expected behavior

Pass all tests

Screenshots
If applicable, add screenshots to help explain your problem.

Technologies (please complete the following information):

• Node.js version
• NPM version
• Solidity version

Additional context
Add any other context about the problem here.

1. might be an update in zkey
   

   semaphore-rs/src/utils.rs

   Line 43 in 220f8da

   let base_url = "https://snark-artifacts.pse.dev/semaphore/latest/";

2. might be an update in circom-witnesscalc
   https://crates.io/crates/circom-witnesscalc

[vplasencia]

Hey @vivianjeng yes, the latest zkey files changed. We need to update this line: https://github.com/semaphore-protocol/semaphore-rs/blob/main/src/utils.rs#L43

with let base_url = "https://snark-artifacts.pse.dev/semaphore/4.0.0/";

Context

Issue: semaphore-protocol/semaphore#999

PR: semaphore-protocol/semaphore#1012