Reilabs operates at the forefront of cryptography and
blockchain technology. We develop software with a focus on performance and security.
Building infrastructure for
Ethereum scaling
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.
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.
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.
Formally verifying the
Worldcoin protocol
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.
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.
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.
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.
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 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).”
“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.”
Let's work together
Tell us what you need and we'll get
back to you within 48 hours.