We’ve designed, built, optimized and secured top cryptographic protocols. See how we can help you.
See our latest projects »Trusted by leading brands and startups
Enso
Reilabs operates at the forefront of cryptography and blockchain technology. We develop software with a focus on performance and security.
The Ethereum Foundation is paving the way for EIP-4844, the solution for long-term Ethereum
scalability. Its security relies on performing a large scale trusted setup.
Reilabs provided specification and the backend implementation.
Over 140,000 people contributed, making it the largest trusted
setup ceremony in the world.
smlXL's evm.storage brings accessibility and transparency to the Ethereum blockchain by discovering and indexing all storage
layouts and their values in EVM contracts.
Together with smlXL, we built a symbolic Ethereum Virtual Machine to gather storage layout information about unverified
contracts using only the bytecode deployed on chain.
We partnered with Polygon Miden to improve perfromance of finite
field calculations - the building block of all cryptographic and blockchain applications.
Leveraging Arm's latest Scalable Vector Extension, Reilabs was
able to speed up Rescue-Prime Optimized hash by 37% on AWS EC2 Graviton3 processors.
To stay ahead of attackers, we use mathematical proofs to verify properties of complex systems. We employ continuous integration with such methods to ensure ongoing security.
Reilabs has formally verified the
properties of Worldcoin's zero knowledge protocols underlying user registration.
This work leverages our proven-zk and gnark-lean-extractor libraries to
ensure that the entire protocol stays correct and secure across all releases of the Worldcoin
protocol.
We created a library that compiles zero-knowledge circuits from Gnark proof system to Lean theorem prover. It makes formal verification an automated part of the continuous integration/delivery pipeline and ensures ongoing security.
While working on formally verifying
zero-knowledge circuits, Reilabs has discovered and reported a major security vulnerability in Gnark’s
integer comparison component. The issue allowed attackers to
bypass account balance and similar checks in any protocols using it.
The bug has been reported to the Gnark team via a responsible
disclosure form and has been already fixed by the Gnark core team.
Zero-Knowledge Cryptography
Compilers and Developer Tools
Blockchain Infrastructure
Formal Verification
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.
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.
“Reilabs helped out massively in making the Ethereum KZG Ceremony possible. The infrastructure they built out was deployed in a high-uptime environment and they more than delivered: the code they contributed was elegant, efficient, and readable. Reilabs took the initiative to grok and improve the overall protocol and surrounding tooling. They are a pleasure to work with and I hope to be able to do so again.”
“Reilabs has demonstrated great expertise with cryptography and blockchain. They were able to quickly take ownership of multiple internal projects and drive forward the development of our privacy-preserving identity protocol. Besides working closely with our internal teams, they also cooperated with other contributors in the Ethereum community. Reilabs delivers not only well-engineered code, but also thoughtful documentation, specifications, project management help, and more.”
“Reilabs quickly and effeciently implemented our vision for hints in Cairo. Hints in CairoZero were a pivotal feature for many projects, and their existence in the Cairo ecosystem is key in allowing client-side proving applications based on the new language. We enjoyed working with them and hope to do so again in the future.”
“The Reilabs team has been indispensable in building, optimizing, and troubleshooting the Enso compiler and interpreter. Their technical knowledge and unique problem-solving abilities have enabled us to ship a reliable, high-performance product. We're looking forward to further collaboration and can confidently recommend Reilabs' services.”
Tell us what you need and we'll get back to you within 48 hours.
Email us directly at hi@reilabs.io
