Posted by Matthew Klein on Jun 29, 2026
Sunspot brings the ease-of-use of Noir to Solana, with developers now able to write, compile, and verify any Noir program on Solana without breaking the bank! In doing so, it unlocks on-chain KYC, private DeFi, secure data availability and more.
Noir has become the go-to language for building efficient, privacy-preserving zero-knowledge (ZK) applications across the blockchain ecosystem. Sunspot allows Noir proofs to be verified on the Solana blockchain far as few as 175,125 compute units with no data storage overhead. We have been able to verify a proof of a valid passport on-chain using 476,298 compute units.
Use Sunspot for any application where you need selective disclosure. Think zk-ID, zk-KYC, and anonymous voting. With SunspotJS, you can integrate easily into any web application and verify cheaply on your server or on-chain. You can even integrate with browser-held wallets.
Sunspot is designed to produce extremely small proofs with the cheap verification of groth16 SNARKs. Traditionally, this small proof size meant that proving meaningful statements was not possible on the browser. SunspotJS shakes that up. We proved passport-based age checking in 10 seconds on MacBook Chrome (m4), and under 1 minute on a modest Android (Nothing 3a). The core rust crate can also be compiled to run natively on mobile devices for even better performance.
With the creation of Sunspot, scalable privacy is even easier on Solana. An efficient verifier that connects Noir and Solana makes it easier for builders to use complex programs and integrate ZK, opening new possibilities for the ecosystem. Sunspot opens the door for anonymous DAO, zero-knowledge lending protocols, and anonymous money transactions on-chain.
To get more of an idea of what’s possible with Sunspot, dive into our documentation and reference library. Sunspot is open for builders, and we can’t wait to hear how it powers your next project on Solana.
If you are reading this blog post and are interested in bringing Reilabs’ expertise in cryptography and developer ergonomics to your own project, feel free to reach out to us at hi@reilabs.io!
Hope you have enjoyed this post. If you'd like to stay up to date and receive emails when new content is published, subscribe here!
Merkle Trees are valued in the blockchain space for their ability to commit to huge amounts of data with a concise value. As a result, they form the cornerstone of many protocols, making the performance of their implementations absolutely crucial for protocol responsiveness.
Keccak, the hash function at the core of Ethereum, is computationally expensive to prove in SNARK circuits, creating a bottleneck for the ZK ecosystem. Our approach combines a GKR-inspired protocol with Groth16, bringing down the average cost of a Keccak instance to <4k R1CS constraints.
Dencun upgrade went live promising up to 10x cost savings to L2 operators. In the lead up to the upgrade, the Ethereum community performed the largest trusted setup ceremony to date, with over 140k participants. Reilabs contributed the backend and parts of cryptography code to this ceremony.
Reilabs introduces Cairo Hints, an extension to Cairo language that makes STARK programs easier to implement and cheaper to execute. Hints enable developers to supplement their programs with data that is difficult to obtain in ZK circuits, allowing them to solve new classes of problems with Cairo.
The EVM’s ability to run computations on-chain has a major weakness: the cost of running code is often too great. Given a lot of the use-cases for this kind of public computation involve more interesting operations, we’ve seen a rapid rise in the use of systems that aim to alleviate those costs.
One of the most foundational concepts on the blockchain is immutability. While this is one of its greatest strengths, it is also a weakness—being able to fix bugs is crucial to building reliable software, but being able to do this is a challenge on chain.
Running any operation on Ethereum network requires careful cost management. For years Polygon has made on-chain applications cheaper and more scalable. Now, they are taking scalability to the next level with the Polygon Miden project, and Reilabs is assisting in making it even more cost-effective.
