Zero-knowledge proving for Stellar Confidential Tokens: circuits, witnesses, UltraHonk proofs, and a Soroban verifier path — the PROVE layer of Crucible.

0 stars 0 forks 0 watchers Rust Apache License 2.0
barretenberg confidential-tokens noir proof-generation rust soroban soroban-contract stellar stellar-network ultrahonk zero-knowledge zkp
3 Open Issues Need Help Last updated: Sep 12, 2026

Open Issues Need Help

View All on GitHub
good first issue area: docs priority: p3

Zero-knowledge proving for Stellar Confidential Tokens: circuits, witnesses, UltraHonk proofs, and a Soroban verifier path — the PROVE layer of Crucible.

Rust
#barretenberg#confidential-tokens#noir#proof-generation#rust#soroban#soroban-contract#stellar#stellar-network#ultrahonk#zero-knowledge#zkp
good first issue area: ci area: security priority: p3

Zero-knowledge proving for Stellar Confidential Tokens: circuits, witnesses, UltraHonk proofs, and a Soroban verifier path — the PROVE layer of Crucible.

Rust
#barretenberg#confidential-tokens#noir#proof-generation#rust#soroban#soroban-contract#stellar#stellar-network#ultrahonk#zero-knowledge#zkp
good first issue area: ci priority: p3

Zero-knowledge proving for Stellar Confidential Tokens: circuits, witnesses, UltraHonk proofs, and a Soroban verifier path — the PROVE layer of Crucible.

Rust
#barretenberg#confidential-tokens#noir#proof-generation#rust#soroban#soroban-contract#stellar#stellar-network#ultrahonk#zero-knowledge#zkp