Skip to content

feat: add new function verify_proof() for stark verifier.#280

Merged
eigmax merged 6 commits intoProjectZKM:mainfrom
felicityin:stark-proof-verifier
Aug 18, 2025
Merged

feat: add new function verify_proof() for stark verifier.#280
eigmax merged 6 commits intoProjectZKM:mainfrom
felicityin:stark-proof-verifier

Conversation

@felicityin
Copy link
Copy Markdown
Contributor

  1. Add new function verify_proof() for stark verifier.
  2. Update allowed vk maps, groth16 vk and plonk vk.

Comment thread crates/core/machine/src/lib.rs Outdated
Comment thread crates/verifier/src/stark/verify.rs Outdated
Comment thread crates/verifier/src/stark/mod.rs
@eigmax
Copy link
Copy Markdown
Member

eigmax commented Aug 18, 2025

@felicityin
Copy link
Copy Markdown
Contributor Author

@felicityin felicityin force-pushed the stark-proof-verifier branch from d1e7d71 to 0591e0c Compare August 18, 2025 08:34
Comment thread crates/verifier/src/stark/mod.rs Outdated
@felicityin felicityin force-pushed the stark-proof-verifier branch 2 times, most recently from 3cad186 to 927f4b1 Compare August 18, 2025 10:40
@felicityin felicityin force-pushed the stark-proof-verifier branch from 927f4b1 to 975085b Compare August 18, 2025 10:41
@eigmax eigmax merged commit 6b338c9 into ProjectZKM:main Aug 18, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants