Loading...
Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2025 Stellar Development Foundation
Subscribe to the Newsletter
By Post-Quantum Secure Wallets for Stellar
Building the cryptographic foundation for post-quantum-secure wallets, ensuring Stellar users remain protected against emerging quantum threats.
Adds Falcon Signature as a Soroban Smart Contract laying the ground for future wallet integrations
Yes
$150.0K
Falcon signature verification contract is deployed and functioning on Soroban Mainnet.
The contract reliably verifies valid Falcon signatures and rejects invalid ones according to the NIST specification.
Gas usage remains within acceptable bounds for practical on-chain use.
After Falcon verification is live on Mainnet, we will provide clear integration examples and developer documentation, then engage wallet providers to explore adding optional Falcon-verified operations. This ensures the feature can be quickly tested, adopted, and incorporated into existing Stellar wallets and applications.
In 2025 alone, billions of dollars are being deployed into quantum-computing programs designed to break today’s cryptography. Major progress is expected every year, and industry leaders like Mastercard, Cloudflare, and Signal have already begun migrating to post-quantum standards.
With billions in assets protected by vulnerable classical signatures, blockchains are expected to be among the earliest and most lucrative targets once practical quantum attacks appear.
Institutions bringing RWAs on-chain will be required to meet upcoming PQ-readiness mandates:
U.S. (NIST): transition deadline for critical systems is 2035.
EU: mandated transition timeline is 2030.
[Deliverable 1] Falcon Verification Core (Off-Chain Prototype)
Brief description:
Implement core Falcon verification components (NTRU polynomial arithmetic, modular operations, norm checks) in Rust with WASM compatibility.
How to measure completion:
GitHub repo with Rust code
WASM build compiles
Unit tests on core math functions
Estimated completion: Week 3–4
Budget: $35,000
[Deliverable 2] Hash Function Benchmark (SHAKE vs Keccak)
Brief description:
Benchmark SHAKE and Keccak implementations in a Soroban-compatible runtime to identify the most cost-efficient hash function.
How to measure completion:
Benchmark report documented
Hash function selected for on-chain use
Estimated completion: Week 4–6
Budget: $25,000
[Deliverable 3] MVP Soroban Contract Skeleton
Brief description:
Deploy an initial Soroban contract on Futurenet that accepts Falcon signature payloads and runs basic structural checks.
How to measure completion:
Contract deployed on Futurenet
End-to-end call with sample signature payload
Estimated completion: Week 6-7
Budget: $15,000
[Deliverable 1] Full Falcon Verification Pipeline (Testnet)
Brief description:
Implement full Falcon signature verification logic in Soroban using the optimal hash identified in Tranche 1.
How to measure completion:
Contract deployed on Testnet
Valid signatures verified; invalid ones rejected
Estimated completion: Week 8–9
Budget: $15,000
[Deliverable 2] Developer Example + Minimal API Helpers
Brief description:
Create a small helper script and clear example demonstrating how to call the verification contract.
How to measure completion:
Example verifies signatures against Testnet contract
README/instructions included
Estimated completion: Week 10–11
Budget: $15,000
[Deliverable 3] Gas & Performance Optimization Pass
Brief description:
Optimize hashing, polynomial operations, and contract flow to reduce gas usage.
How to measure completion:
Optimization report
Updated Testnet contract showing reduced gas usage
Estimated completion: Week 11–12
Budget: $15,000
[Deliverable 1] Mainnet Deployment
Brief description:
Deploy the final Falcon verification contract to Stellar Mainnet.
How to measure completion:
Mainnet contract ID published
Versioned release in GitHub
Estimated completion: Week 13-14
Budget: $15,000
[Deliverable 2] Final Documentation & Integration Guide
Brief description:
Prepare complete documentation explaining contract interface, expected inputs, and usage examples.
How to measure completion:
Documentation published in repo
Verified with a working example
Estimated completion: Week 14-15
Budget: $15,000
Soundness Labs Ltd (soundness.xyz) builds cryptographic infrastructure to make the internet provably secure. The team specializes in zero-knowledge and post-quantum cryptography, developing systems that enable scalable, verifiable, and post-quantum-secure cryptographic infrastructure for blockchains.interoperability.
Its flagship product, Soundness Layer, provides seamless and low-cost proof validity attestations across chains. It leverages Walrus for sequencing and data availability and is deployed on Sui. Soundness Labs has collaborated with Mysten Labs, Sui, and Walrus on joint research and product integrations.
Soundness Labs was co-founded by Alex and Mahdi, who bring extensive experience in zero-knowledge protocol design, cryptographic systems engineering, and blockchain integration.
Mahdi Sedaghat
Rocky
No other submissions.