Reilabs is a software engineering firm that designs, builds, and optimizes cryptographic protocols and blockchain infrastructure for organizations facing complex technical challenges. The company specializes in high-performance cryptography, formal verification, and zero-knowledge proof systems, delivering solutions that prioritize security and efficiency. Reilabs has contributed to major ecosystem projects, including the Ethereum Foundation's EIP-4844 trusted setup ceremony and performance optimizations for Polygon Miden.
Funding
Funding not disclosed
Founders
Product
Problem
Blockchain networks and cryptographic systems often require complex, resource-intensive computations that are difficult to optimize, and ensuring their security against sophisticated attacks demands rigorous verification methods. Many organizations lack the specialized expertise to build high-performance cryptographic protocols or formally prove the correctness of their zero-knowledge systems, leaving vulnerabilities unaddressed and limiting scalability.
Solution
Reilabs provides specialized software engineering and formal verification services for cryptography and blockchain applications. The company designs and implements high-performance cryptographic protocols, such as the backend for Ethereum's EIP-4844 KZG trusted setup ceremony, which involved over 140,000 participants. Reilabs also optimizes low-level computational performance, demonstrated by a 37% speedup in Rescue-Prime Optimized hash on AWS Graviton3 processors using Arm's Scalable Vector Extension. Additionally, the firm formally verifies zero-knowledge protocols, including Worldcoin's registration system, using automated translation of ZK circuits to the Lean theorem prover for continuous security assurance.
Target Audience
Primary customers are blockchain foundations, layer-2 scaling projects, and Web3 companies requiring high-assurance cryptographic infrastructure, including organizations like the Ethereum Foundation, Polygon, and Worldcoin.
Features
- Backend implementation and specification for Ethereum's EIP-4844 KZG trusted setup ceremony, supporting over 140,000 contributors
- Performance optimization of finite field calculations and hash functions using Arm Scalable Vector Extension, achieving 37% faster Rescue-Prime Optimized hash on AWS Graviton3
- Formal verification of zero-knowledge protocols using proprietary libraries (proven-zk and gnark-lean-extractor) that compile Gnark circuits to Lean theorem prover
- Symbolic Ethereum Virtual Machine development for storage layout analysis of unverified EVM contracts, deployed in smlXL's evm.storage
- Automated translation of ZK circuits to Lean for continuous integration/delivery pipeline integration, ensuring ongoing security verification