Whitepaper Reading Club: Formal Verification in Cryptography — what's on nyc

📚

Whitepaper Reading Club: Formal Verification in Cryptography

Tue, Sep 29 at 5pm

Manhattan, Manhattan

FREE learning

Cryptography whitepaper reading group focused on formal verification methods.

check it out →

you might also like

📚 Rust NYC: Zero Knowledge Proofs & GPUs in Rendering

Thu, Oct 8 at 6:30pm

Two technical talks on zero-knowledge proofs and GPU rendering in Rust.

📚 NJ Crypto Summit v2

Thu, Oct 1 at 6pm

Art House, 180 Morgan St 7th floor, Jersey City, NJ 07302, USA, Downtown Jersey City

Regional crypto conference for builders, investors, and enthusiasts.

📚 Bitcoin Treasuries Conference: September 2026

Mon, Sep 28 at 8am

SECOND, 849 6th Ave, New York, NY 10001, USA, Midtown South

Full-day Bitcoin treasury strategy conference for companies and institutions.

📚 Stavros Niarchos Foundation Library (SNFL)

NYPL — Schwarzman Building, Midtown South

📚 Crain's NY Business Wall Street Meets Blockchain: The Future of Digital Asset Infrastructure

Thu, Oct 1 at 9am

Midtown Manhattan, Midtown

Crain's-hosted panel on blockchain infrastructure and Wall Street convergence.

📚 Bitcoin Self Custody in the Age of AI w/ SeedSigner & HRF | PubKey NYC

Wed, Sep 30 at 6pm

Pubkey, 85 W Washington Pl, New York, NY 10011, USA, Greenwich Village

SeedSigner and HRF speakers discuss Bitcoin self-custody and AI threats.