François-René Rideau

“Security Through Clarity” and Why Programming Languages and Architecture Matter

Decentralized Applications (DApps) atop public blockchains are the very hardest programs to write and audit: they run in an adversarial irreversible public environment; one bug, and someone may lose his shirt, with no recourse. How can we affordably write DApps that can be affordably audited, and reasonably trusted? By making their meaning so clear that …

“Security Through Clarity” and Why Programming Languages and Architecture Matter Read More »

Safe cross-chain contract interactions

Summary: Harmony One proposed an asynchronous cross-shard CALL2 extension to the EVM, to complement its synchronous CALL of a contract on the same shard. Unfortunately, it is all too easy to introduce security vulnerabilities to existing contracts with such an extension, and very hard to make sure you don’t. Meanwhile, this model cannot bridge the …

Safe cross-chain contract interactions Read More »

Scroll to Top