OpenZeppelin / OpenZeppelin/stellar-contracts
Wire `rs-soroban-ultrahonk` into the confidential token verifier
Open
@brozorec is already working on this.
Since Jul 29, 2026.
Small
- Dominant language
- Rust
- Stars
- 95
- Forks
- 68
- Avg merge
- 4d 42m
- Merged PRs (30d)
- 20
Description
Once NethermindEth/rs-soroban-ultrahonk completes its audit, wire it into the confidential token's verifier.
- Add a default implementation for
ConfidentialVerifier::verify_proofbacked by the library, replacing the current implementor-supplied stub. - Move VK structural validation into the backend (currently VKs are opaque
Bytes). - Replace the mocked verifier in the confidential token tests/example with the real one.
- Remove the "⚠️ Not Production Ready" warnings from
confidential/mod.rs,confidential/verifier/mod.rs, andconfidential/README.md.
Blocked on: completion of the external audit of rs-soroban-ultrahonk.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.