Theo Hallenius

Multitalented Blockchain/ML/Software Engineer

I am a Blockchain/Software/Game developer but I consider myself a generalist as I can do pretty much anything. I got involved with blockchain since 2017 and have been working for several prominent blockchain projects. I co-founded several blockchain companies and have gained management experience as well. I'm a big advocate for privacy and decentralization and am vocal against gen-AI slop.

Let's connect! My CV

My projects:

Solbend formal verifier
NEW

Solbend is a bug detection tool for Solidity that checks every way an attacker could gain control of your contract code using formal verification. You get a proof, or the exact line that breaks the assumptions. Fully automatic, with no specs or lemmas to write.

Encribe.com
BETA

Encribe is a word processor and a full office suite for writing books, documents, forms, emails, where only real humans can write. Use built-in video conferencing for writing sessions, live-streaming, meetings and more... Authenticity and integrity are ensured with our state-of-the-art keyboard biometric verification to detect bots and AI-slop 🤖

Understanding Solidity Tutorial Series 1-3

I've written a tutorial series of blog posts teaching about the inner workings of Solidity by writing our own Solidity parser and Virtual Machine from scratch in Rust 😲

New Rholang Parser+Runtime
Rust

I've written my very own Rholang parser and runtime. With my implementation there is no more need for normization/sorting (which was quite an expensive operation) and it's no longer a bottleneck🥳

Visual Rholang SDK
Godot

This plugin for Godot Engine 4 allows game developers to easily integrate blockchain to new and existing games using Solidity and Rholang smart contracts, all without having to write a single line of code. Built mostly in GDScript and Rust.

See more cool stuff

Solbend formal verifier NEW

Encribe.com BETA