Written by Benjamin Funk

Learn how passkeys offer a more secure, user-friendly solution to crypto wallets. Explore how passkeys work, how smart contract wallets enable passkeys, and upcoming gas optimizations for the secp256r1 elliptic curve with the RIP-7212 precompile.

Bitcoin Design is a free open-source community resource that helps designers and developers working on bitcoin-products to create better experiences, faster.

Pluto — The API for personal web data. Embed it in your app to authenticate users, share data and perform actions on their behalf for any site on the internet.

Generate tests based on the Branching Tree Technique. - alexfertel/bulloak

I have recently been looking at mining pool behavior during forks. Which block does a pool choose to mine on during a fork? Do they behave rationally and mine on their own block? In this post, I’ll detail the mining pool behavior during forks and give some…

Sourcify (sourcify.dev) is a source-code verification service for Ethereum smart contracts supporting Solidity, Vyper, and Yul. Sourcify is fully committed to:

The long tail of expressive prediction markets enabled by zkTLS, L2s, LLMs, and Stablecoins.

Let's face it, death is the final boss. It's the game over screen nobody wants to see. But what if you could develop your own infinite health cheat code? What if we could keep playing the game indefinitely? Let's play on pump.science.

Simple client for extracting data from the Dune Analytics API - paradigmxyz/spice

Why should we care about Web Proof?

My personal Substack. Click to read Victor’s Substack, by Victor Sint Nicolaas, a Substack publication. Launched 3 years ago.

Metrics that matter for digital assets and stablecoins. All in one place.

This is a two-part blogpost presenting a friendly digest of the PRIBLT paper and some unsolicited life advice. Part 1 sets up the problem of set reconciliati...

In this blog post we present crypto-condor, an open-source test suite for compliance testing of implementations of cryptographic primitives.

One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies - Account-Link/teleport-gramine-rs

Explore the challenges of formal verification in Solidity and EVM smart contracts. Learn about the path explosion problem, bounded loop unrolling, and how tools like Certora Prover, Halmos, hevm, and Kontrol approach verifying loops in smart contracts.