Skip to content

Eduardo Barthel

@edubart

Emulators, compilers, programming languages, RISC-V, Linux, C/C++, Lua, graphics, games and Web3.

Emulators, compilers, programming languages, RISC-V, Linux, C/C++, Lua, graphics, games and Web3.

Skill iconC++
App Development
Game Development
Linux Kernel
RISC-V

Senior Software Engineer, Cartesi

Curitiba, Brazil

Devfolio stats

Devfolio stats

2

projects

2

0

prizes

0

2

hackathons

2

0

Hackathons org.

0

GitHub

GitHub

294

contributions in the last year

Apr

S

M

T

W

T

F

S

2 contributions on 2025-04-01
2 contributions on 2025-04-02
1 contributions on 2025-04-03
4 contributions on 2025-04-04
0 contributions on 2025-04-05
4 contributions on 2025-04-06
2 contributions on 2025-04-07
7 contributions on 2025-04-08
0 contributions on 2025-04-09
1 contributions on 2025-04-10
2 contributions on 2025-04-11
0 contributions on 2025-04-12
0 contributions on 2025-04-13
0 contributions on 2025-04-14
0 contributions on 2025-04-15
0 contributions on 2025-04-16
0 contributions on 2025-04-17
0 contributions on 2025-04-18
0 contributions on 2025-04-19
0 contributions on 2025-04-20
0 contributions on 2025-04-21
0 contributions on 2025-04-22
0 contributions on 2025-04-23
0 contributions on 2025-04-24
4 contributions on 2025-04-25
0 contributions on 2025-04-26
0 contributions on 2025-04-27
0 contributions on 2025-04-28
4 contributions on 2025-04-29
1 contributions on 2025-04-30
0 contributions on 2026-04-01
0 contributions on 2026-04-02
0 contributions on 2026-04-03

Mar

0 contributions on 2025-03-30
0 contributions on 2025-03-31
0 contributions on 2026-03-01
1 contributions on 2026-03-02
0 contributions on 2026-03-03
3 contributions on 2026-03-04
0 contributions on 2026-03-05
0 contributions on 2026-03-06
0 contributions on 2026-03-07
0 contributions on 2026-03-08
0 contributions on 2026-03-09
0 contributions on 2026-03-10
0 contributions on 2026-03-11
0 contributions on 2026-03-12
1 contributions on 2026-03-13
0 contributions on 2026-03-14
0 contributions on 2026-03-15
0 contributions on 2026-03-16
0 contributions on 2026-03-17
5 contributions on 2026-03-18
4 contributions on 2026-03-19
0 contributions on 2026-03-20
1 contributions on 2026-03-21
0 contributions on 2026-03-22
0 contributions on 2026-03-23
2 contributions on 2026-03-24
1 contributions on 2026-03-25
0 contributions on 2026-03-26
0 contributions on 2026-03-27
0 contributions on 2026-03-28
0 contributions on 2026-03-29
0 contributions on 2026-03-30
2 contributions on 2026-03-31

Work Experience

Work Experience

Work Experience Logo
Cartesi

Senior Software Engineer

Core developer of its RISC-V machine emulator.

Work Experience Logo

Senior Software Engineer

Cartesi,

Top Projects

Top Projects

Project Image
Cartridge-Swap

Cartridge-Swap is a permissionless marketplace of provable onchain games. Games are sold on bonding curves, bootstrapping communities, and incentivizing co-creation

Current game marketplaces are permissioned and impose hefty taxes Developers today need to rely on centralized game marketplaces for distribution and convenience. Most of these platforms are permissioned and impose heavy taxes (the industry average is 30%) on game sales. Indie game developers are particularly impacted by these platforms as they lack the capital and don’t have the necessary bargaining power. We believe these platforms greatly restrict creative freedom across the game industry Cartridge-Swap aims to democratize game development and foster aligned game communities Cartridge-Swap allows developers to permissionlessly submit their game to the platform and sell cartridges to players. Game developers can select their preferred sales models such as selling cartridges on a bonding curve. A developer can thus allocate upside to cartridge owners, benefiting early users and incentivizing discovery. Furthermore, fees from trading can be split between the game creator, and a treasury governed by a game's cartridge owners (e.g. can fund game jams). This enables the bootstrapping of early game communities (reduces the cold start problem), and can incentivize player contribution (core game development, modding, etc). We believe this can help blur the lines between game developers and players, enabling frictionless creativity Cartridge-Swap is built on top of RIVES, an onchain fantasy console By owning cartridges, players can prove their game scores (using Rives.io) and enshrine their scores on an onchain leaderboard. For example, if I speedrun DOOM I can now prove to the world that I was the first to achieve a certain score. RIVES is built on top of Cartesi's reproducible RISC-V VM, making it compatible with existing games/traditional languages. It has a well-defined environment that enables the rapid onboarding of Indie developers. Now, Cartridge Swap enables anyone to frictionlessly build and monetize a game on top of RIVES without needing permission

Project Image
ThinkChain

On-chain service that enables smart contracts to perform verifiable large language model (LLM) inference.

ThinkChain provides access to a variety of popular LLMs, such as DeepSeek-R1, DeepScaleR, Qwen2.5 and SmolLM2. A simple Solidity interface makes it easy for smart contracts to construct prompts and decode replies entirely on-chain. Completion requests are charged in Ether. Our project addresses three critical challenges in blockchain-based AI integration: Scalability Traditional on-chain AI computation faces severe scalability limitations due to the computational overhead. We solved this through EigenLayer co-processors, where network operators execute computations off-chain, significantly reducing the blockchain resource burden while maintaining decentralization. Integration Directly porting existing AI implementations to Solidity is impractical due to the EVM's computational constraints. However, by utilizing Cartesi's RISC-V virtual machine with Linux compatibility, we can execute deterministic AI inference for LLM models using traditional software off-chain and expose its results in EVM smart contracts. True Decentralized Verification Current blockchain AI projects often compromise on decentralization through various trust assumptions: Some rely on Trusted Execution Environments (TEEs), requiring trust in third parties Others use zkTLS, which still involves trusting external entities Many solutions don't address trust verification at all Our solution provides robust verification without centralized trust points, maintaining the core promise of blockchain technology while enabling advanced AI capabilities. This combination of features makes our project particularly valuable for smart contracts that would benefit from on-chain access to LLMs where verification and trust are critical. Examples of use cases include AI agents, AI-assisted decision making, data analysis, and content generation.