Reilabs
Reilabs is a specialized software engineering and formal verification firm that builds high-performance cryptographic infrastructure for blockchain networks. The company has delivered the backend for Ethereum's EIP-4844 KZG trusted setup ceremony with over 140,000 participants, achieved a 37% speedup in Rescue-Prime Optimized hash on AWS Graviton3, and formally verified Worldcoin's zero-knowledge registration protocol using automated translation to the Lean theorem prover.
- Blockchain & Cryptocurrency
- Web3 & NFTs
- Cybersecurity
- Software Only
- Artificial Intelligence
- Developer Tools
Funding
Founders
Founder details are not available yet.
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
- Development of Sunspot, a tool that brings Noir zero-knowledge programming to Solana for on-chain KYC, private DeFi, and secure data availability