Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Zhongxin Guo

Cryptography and Security Strengthening Smart Contracts with Theorem-Carrying Transactions

TCT offers a new way to secure Ethereum smart contracts.

Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen

2025-06-29T05:16:30+00:00 ― 6 min read