







Crypto 101 is an introductory course on cryptography, freely available for programmers of all ages and skill levels.

The Latecomer’s Guide to Crypto (Published 2022)
Crypto is a lot of things – including terribly explained. We’re here to clear things up.

Noble cryptography
Paul Miller. I make projects which help developers to build awesome things


In Search of Hardness
Protocol studies, the next crypto cycle, and the next age of the world

Awesome Rust Cryptography
Showcase of notable cryptography libraries developed in Rust
SJ · Home
I’m a designer and developer by training and trade. I spend most of my spare time reading about business, finance and crypto. If this combination interests you, welcome to my corner of the internet. This is where I share my reading list, investment updates, and software adventures.

My first impressions of web3
Despite considering myself a cryptographer, I have not found myself particularly drawn to “crypto.” I don’t think I’ve ever actually said the words “get off my lawn,” but I’m much more likely to click on Pepperidge Farm Remembers flavored memes about how “crypto” used to mean “cryptography” than ...

Cryptocurrencies with Tim Ferriss, Nick Szabo and Naval Ravikant
An incredible deep dive into the world of Bitcoin, Etherium, ICOs and more with an expert, a passionate learner and a novice.

A Spectrum of Consent
Blockchain & Decentralized Identity Architect — Internet Cryptography Pioneer — Co-author TLS Security Standard — Collaborative Tools & Patterns

Cryptoeconomics: Paving the Future of Blockchain Technology | HackerNoon
Page through the articles on <a href="https://hackernoon.com/tagged/blockchain" target="_blank">blockchain</a> today and you will see healthy discussions over its applications and endless debates over the future price action of someone’s favorite cryptocurrency. Yet rarely among all these topics is any mention of the most fascinating notion at the heart of the movement — blockchain as a novel means<strong> to incentivize desired human behavior</strong>.

Tutorial: Introduction to Formal Verification with Lean (Part 1) - HashCloak
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
06 · E2EE in the Local-First Setting
Examining design considerations for developing cryptography for the local-first setting.

Encrypted Spaces — Research preview
An architecture for collaborative applications where data is encrypted and operations are cryptographically verifiable.
