I build open-source infrastructure for problems that don't have good solutions yet.
Acachete Labs is my software laboratory - operating at the intersection of blockchain, ZK cryptography, and AI infrastructure, in the gap where most tooling is still missing or out of reach.
| Project | What it does | Impact |
|---|---|---|
| stellar-zk | Unified ZK DevKit for Soroban - Groth16, UltraHonk, RISC Zero on BN254 host functions | First full ZK toolchain for Stellar Protocol 25 |
| Cougr | ECS framework for on-chain games - ZK proof flows, commit-reveal, account abstraction | 46+ forks · 30+ contributors · non-dilutive funding |
| Akkuea | Real-world asset infra on Stellar - fractional property tokenization, contract-level KYC/AML | 230+ forks · 200+ contributors · funded via Drips |
| Quasar | Declarative scripting language that compiles to Soroban contract invocations | Ships XDR encoding + ABI type checking in one CLI |
| PromptOS | LLM cost-efficiency stack - caching, compression, complexity-based model router | Cuts inference costs across providers |
| Zylith | Shielded Concentrated Liquidity MM for Bitcoin on Starknet | RE{DEFINE} Starknet hackathon winner |
stellar-zk- extending ZK proof verification for Soroban on Protocol 25Cougr- ECS game engine primitives for fully on-chain gamesPromptOS- LLM cost optimization layer across inference providers
¡ tuanis bro 🇨🇷 !