Jochen Hoenicke
jhoenicke
Formal Verification Researcher at @Certora
Languages
Repos
48
Stars
361
Forks
98
Top Language
Python
Loading contributions...
Top Repositories
Bitcoin Mempool Statistics
Hantek 6022BE Python API for Windows and Linux.
Repository of lightning network stores
Electrum; Bitcoin thin client
Visualize huge S-Expressions
Repositories
48Bitcoin Mempool Statistics
Visualize huge S-Expressions
Safe allows secure management of blockchain assets.
Monorepo for Silo Protocol contracts V2
No description provided.
Hantek 6022BE Python API for Windows and Linux.
MetaMorpho
Repository of lightning network stores
Repository for the submission of SMT-LIB benchmarks for the 2023 release.
No description provided.
Electrum; Bitcoin thin client
Lightning Network Specifications
Ethereum 2.0 Specifications
Lightning Network Daemon ⚡️
No description provided.
:globe_with_meridians: TREZOR Chrome Extension
Communication between Coq and SAT/SMT solvers
SatoshiLabs Documentation Tree
:smiling_imp: TREZOR Communication Daemon (written in Go)
No description provided.
Generic async RPC implementation, including JSON-RPC
An embedded key/value database for Go.
ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
:orange_book: Micro QR Code Generator
SMTInterpol interpolating SMT solver
Lingeling SAT Solver
A chrome extension based on passwordmaker.org. Create unique passwords for every webpage using a cryptographic hash algorithm.
Client side implementation for TREZOR-compatible Bitcoin hardware wallets.
Bitcoin Unlimited integration/staging tree
Cross-browser QRCode generator for javascript