Programmable cryptography enables fun, safe, and intelligent experiences.
Hardware is necessary to achieve programmable cryptography at scale.
How to think about the levels of secure hardware?
Let’s get to Level 5.

How to get the bugs out of SNARKs so they can fulfill their promise of unparalleled scalability and enhanced privacy

AI-enabled code assistants (like GitHub’s Copilot, Continue.dev, and Tabby) are making software development faster and more productive. Unfortunately, these tools are often bad at Solidity. So we decided to improve them! To make it easier to write, edit,…

How Chainflip is bringing BTC liquidity on-chain

Many DeFi Protocols have decentralised using DAOs and token governance. This article explores the common vulnerabilities in the...

In January, we identified and reported a vulnerability in the Lotus and Venus clients of the Filecoin network that allowed an attacker to remotely crash a node and trigger a denial of service. This issue is caused by an incorrect validation of an index, resulting…

Recently Eric Voskuil shared a benchmark of doing IBD with Libbitcoin versus Bitcoin Core, showing that Libbitcoin could perform IBD 15x faster than Core with -assumevalid. Libbitcoin’s approach is very different from Bitcoin Core. This writeup intends to…

Introduction We are pleased to announce that after working for months with the StarkWare team, we are finally launching the Stone CLI, a tool for easily proving and verifying Cairo programs! Huge thanks to the StarkWare team for their work and guidance as…

Demystifying Arbitrageurs’ profits, LVR, and sandwich attacks: batch trading as an AMM design response

最近因緣際會下看到 ERC-6551 提到 Nick’s Factory，好奇地去了解一下這是什麼魔法，發現了古老（？）而有趣的 Nick’s Method。這是一個可以在無信任的條件下，在特定地址上執行特定交易的方法（即便你和所有人都不知道密鑰）。在這篇文章中，我想介紹…

A blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

We introduce a new approach to block building called parallel block building. Instead of treating all transactions as potentially conflicting - as traditional sequential building algorithms do - parallel block building recognizes that most transactions in…

Paradigm is a research-driven crypto investment firm that funds companies and protocols from their earliest stages.

lightning-network.tech - resources and guides for lightning network operators

An impassioned argument for why we should continue striving to improve the Bitcoin protocol.

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols. - mratsim/constantine