Senior Software Engineer
Cartesi,
@edubart
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.
Senior Software Engineer, Cartesi
Curitiba, Brazil
2
projects
2
0
prizes
0
2
hackathons
2
0
Hackathons org.
0
294
contributions in the last year
Apr
S
M
T
W
T
F
S
Mar
5,960
stars earned
124
repositories
739
followers
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Lua
2366Stars
75Forks
Single header stackful cross-platform coroutine library in pure C.
C
913Stars
55Forks
Minimal modern efficient cross platform 2D graphics painter in C
C
584Stars
40Forks
Single-file port of Lua, a powerful scripting language.
C
374Stars
29Forks
Core developer of its RISC-V machine emulator.
Cartesi,
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
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.