Protocol software
Smart contracts, programs, hooks, network ports, and upgrade paths with explicit state and authorization rules.
- Solana and Anchor
- Solidity and EVM
- Soroban and WASM
- Daml and Canton
Eloiz LLC Protocol systems
Blockchain systems built for institutional use.
Eloiz builds smart contracts, backend infrastructure, security tooling, and developer systems across Solana, EVM, Stellar, and Canton.
Selected recordFounder experience
- Prior R&D leadershipInversive Labs
- Prior security leadershipZealynx Security
- Protocol deliverySide.xyz
- Protocol deliveryParagon
- Protocol deliveryNeptun Finance
- Protocol deliveryInverter Network
- Security deliveryAurora
- Security deliveryLido Finance
- Security deliveryBadger DAO
- Testing deliveryGlif
What we build
Protocol software, infrastructure, and assurance.
Blockchain infrastructure
Indexers, APIs, transaction services, automation, and operating controls for systems that depend on onchain state.
- Event pipelines
- Wallet services
- RPC integrations
- Observability and recovery
Security and developer systems
Static analysis, execution workbenches, fuzzing, invariant checks, and release evidence integrated with delivery.
- Static analysis
- Execution testing
- Fuzzing
- Release gates
Selected work
Systems we have built.
Each case names the owner, current status, source material, and technical limits.
Soroban Upgrades
Soroban Upgrades checks compiled Soroban contract upgrades before signer approval. It produces stable reports and deterministic review evidence.
- Stable release v1.0.7
- 80% minimum core line coverage
- Scheduled parser and generated-WASM fuzzing
Eloizer
Eloizer is a static analysis framework for Solana and Anchor programs. It combines a semantic model, focused queries, source locations, and an extensible detector system.
- Public analyzer and CLI
- More than 50 built-in detectors
- Custom detector DSL
iLold
iLold provides separate SVM and EVM workbenches for smart-contract investigations. Each engine connects source structure, runtime state, scenarios, and findings.
- Dedicated SVM and EVM engines
- 30 typed SVM analysis tools
- Deterministic scenario forks
Open source and public work
Public software and contributions.
Our public record includes protocol code, release tooling, static analysis, execution workbenches, and backend infrastructure.
About Eloiz
Engineering leadership across the complete system.
Sergio leads company and protocol direction. Biel leads architecture and delivery. Specialist teams expand around defined engineering work.
Leadership
Sergio Corrales and Biel Carpi.
Sergio leads company and protocol direction. Biel leads architecture and delivery. Specialist teams join when a project needs them.
Sergio Corrales
Chief Executive OfficerSergio leads company strategy, protocol engineering, and security research. His work covers smart-contract development, static analysis, fuzzing, formal methods, and protocol assessments across EVM and non-EVM systems.
Biel Carpi
Chief Technology OfficerBiel leads technical architecture and delivery. He builds backend blockchain infrastructure, distributed systems, and smart contracts with clear interfaces, recoverable state, operational controls, and release evidence.
Have a project in mind?
Tell us what you're building.
Tell us what you are building, where the system stands, and what needs to happen next. A founder will reply directly.