We build software that others can't.

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

ABB eMobility Digital Venture GmbH
EnsoEnso
StarkWare
Worldcoin

Software Engineering

Reilabs operates at the forefront of cryptography and blockchain technology. We develop software with a focus on performance and security.

Storage analysis of compiled EVM contracts

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.

Speeding up cryptographic calculations on Amazon AWS

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.

Formal Verification

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.

Gnark vulnerability disclosure

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.

Our Services

Zero-Knowledge Cryptography

We design, develop and optimize cryptographic protocols to meet your needs, no matter how complex they might be. We’ll make sure that you can serve your users, keep deployment costs down, and ensure your system’s ongoing security.

Compilers and Developer Tools

Our team has worked on everything from the design of programming languages and compilers to building the tools that make ecosystems even better. Our finesse can ensure that your tools achieve what you want them to do.

Blockchain Infrastructure

No protocol is complete without supporting infrastructure. From nodes and clients to sequencers and consensus, and everything in between, our developers will build and deploy these services for you, ensuring they are fast, scalable, and secure.

Formal Verification

Your cryptographic protocol uses advanced technology to keep everything working for your users. We use formal-verification techniques derived from safety-critical systems to ensure its security and keep you ahead of any attackers.

Latest Blog Posts

Introducing Hints in Cairo programming language

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.

Zero Knowledge Systems You Can Trust

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.

Testimonials

“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.”

Carl Beekhuizen
Researcher

“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.”

Remco Bloemen
Head of Blockchain

“Reilabs has been tremendously helpful with accelerating STARK proof generation for the Miden VM across several hardware architectures, including SVE, AVX512, Metal, and CUDA. The code they’ve delivered was clean, clearly structured, and well documented. The projects required minimal handholding from our side and were completed on time and within budget. We look forward to further working with Reilabs on projects that go beyond hardware acceleration (e.g., core cryptography and protocol development).”

Bobbin Threadbare
Project Lead

“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.”

Ariel Elperin
PM and Researcher

“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.”

Wojciech Danilo
Founder
Enso

Let's work together

Tell us what you need and we'll get back to you within 48 hours.

Email us directly at hi@reilabs.io