PROVABLE
SYSTEMS
Endubis Labs is a distributed research collective architecting the infrastructure for sovereign coordination and trustless state.
300+
Contributors
1,240
Citations
2.4M
Lines of Code
$5M+
Grants Issued
Gadaa-Inspired Decentralized Justice Protocol
An experimental governance initiative that translates the Gadaa democratic cycle into a resilient blockchain-based Decentralized Justice Protocol (DJP), enabling transparent, culturally grounded dispute resolution and community coordination.
Implementing Stablecoins in Ethiopia
Analyzing the feasibility, regulatory considerations, and economic potential of introducing stablecoins within the Ethiopian financial ecosystem.
Zero-Knowledge Architectures for Ethiopia
Exploring how zero-knowledge proofs can strengthen digital identity, payments, and data privacy in Ethiopia—enabling secure verification without exposing sensitive information.
Deployed Implementations
Our research doesn't stay in papers. We deploy reference implementations to Mainnet to prove the viability of our models in real-world economic conditions.
Endubis Finance
Lending Protocol
A hybrid financial study investigating how blockchain secured collateral can support fair, affordable fiat lending. YThis project focuses on building resilient fianncial pathway that strengthens local economies and expand credit access for underserved communites
Gedaa Protocol
Trustless Escrow
The Gadaa Protocol is an experimental governance initiative investigating the resilience of translating the Gadaa democratic cycle into a resilient blockchain Decentralized Justice Protocol (DJP)
Endubis Wallet
Identity Client
Endubis Wallet is Ethiopia’s home-grown, semi-custodial crypto wallet focused on onboarding new users onto the web3 space - built by local talent for the needs of users in Africa. Fast, secure, and accessible directly through Telegram, Endubis makes managing digital assets simple and empowering.
Methodology & Tooling
Rigorous processes for immutable infrastructure.
Formal Verification
Mathematically proving correctness.
Simulation Engines
Agent-based modeling.
Interoperability
Designing communication protocols.