Tommaso De Ponti

@heytdep
founding eng/research @tplus_cx, co-founder @xyclooLabs, trusted (?) execution
2026
Tropical Encryption: Near Zero Overhead Homomorphic Computation (and lightweight rust lib!!)13/02/2026
Flip the QAP! Witness Encryption for DCAP in Practice (and Rust)08/02/2026
Practical Proof Of Cloud with TDX <> vTPM Dual Attestation copy19/01/2026
2025
User Space Interface Side Channel Attacks on TEEs: From Inferring Secrets To Censorship14/10/2025
TEEs <> Stellar Data Workflows: a PoC04/09/2025
TEEs for Trustless Complex Data Workflows For Blockchain Apps04/09/2025
Sandboxed Quote Generation, Leveraging Report Data and Dynamically Supporting Multiple Applications Within The Same TDX VM17/08/2025
Personal thoughts on Key Management Services <> Trusted Execution Environments and Exploring Possible Alternatives14/08/2025
Building Blocks For Tplus Consensus26/07/2025notes
How Do Leader Based Consensus Mechanisms Look Like on TEEs?notes
Diving into Leader Rotation Mechanisms for TEE Backed Clusters06/06/2025
[Draft] Imagining a Decentralized Cloud Computation Infrastructure: blockchains, TEEs and CR17/05/2025notes
Understanding Helios and Exploring Light Clients' Affinity to TEEs03/04/2025
[Draft] Designing a TEE App Resistant to Hacked Chips30/01/2025notes
[Draft] Towards a More Modular Dstack Implementationnotes
Running Helios Clients on GCP TDX TEE For Attestable Data27/02/2025
Understanding vTPM+TDX Attestation and Quoting Through the TSM ABI22/02/2025
2024
Stellar And MeV: Deep Dive into Optimal Tx Ordering, Censorhip, and Eclipse MeV copy30/01/2025
The First Modular Confidential VM Network Implementation is Here11/12/2024
Guest Level Opt In Reentrancy On The Soroban Virtual Machine?06/11/2024
One Step Closer To DeFi: New Horizons and Why I Started Adding Protocol Utilities In Zephyr copy05/11/2024
My Meridian 2024 Talks Recap04/11/2024
Meridian 2024 SVM Talk Technical References15/10/2024
Proposing a Safe On Chain Actions Standard through Smart Wallets19/08/2024
2023
Going through Stellar Mainnet whole History with rs ingest copy22/09/2023
Update 1: Soroban Zig sdk2/10/2023
2022
Testing the first working version of Soroban AnalyzerJan 16, 2023
Playing with Soroban eventsevents()
Rock paper scissors betting smart contract
Soroban advanced auth on the CLI
Now Also Markdown Herenotes
Soroban commit reveal hashing scheme
Soroban Dutch Auction Smart Contract
Soroban CLI basics: deployment and playing with invocations
Soroban offices game smart contract
Lottery smart contract with Soroban
Vault smart contract with Soroban
RustWASM: receive js (nested) arrays as parameters
Personal notes on Elliptic curve pairingsnotes
Zokrates+Rust+WASM: personal notes on verifying zokrates built proofs with rustwasmnotes
Rust: Groth16 Proof Verification From Scratchnotes
Rust: wasm with no std allocator
How I built this blog

not peer-reviewed research. long-form explorations and loosely structured thinking on topics I find interesting.

tplus tightening the gap on what is proven and what runs🔒
The general idea is that it has two parts. One is for a techy but not expert audience explaining what I want to do and think is going to be crucial for tplus's ...
Verifiable Closed Source TEEs
Open source code has become a standard for decentralized protocols and is becoming standard for distributed systems relying on TEEs for trusted computing that i...