ChrisCho-H/hippo-protocol
hippo protocol core implementation
Computer Scientist interested in Blockchain and Piano 🎹
Repositories
ChrisCho-H/bithoven
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
ChrisCho-H/rare-bullet
Rare Bullet Protocol
ChrisCho-H/Rarity-Defense
The research data/code for the paper "Rarity Defense: A Formal and Empirical Analysis of NFT Trait Systems for Wash Trading Mitigation"
ChrisCho-H/awesome-bitcoin
A curated list of bitcoin services and tools for software developers
ChrisCho-H/awesome-blockchain-rust
Collect libraries and packages about blockchain/cryptography in Rust
ChrisCho-H/smart-contract-languages
A curated collection of resources on smart contract programming languages
ChrisCho-H/awesome-rust
A curated list of Rust code and resources.
ChrisCho-H/bitcoinselect
bitcoin UTXO selection module with nested/native segwit and taproot support.
ChrisCho-H/bitcoin-sdk-js
Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨
ChrisCho-H/ChrisCho-H.github.io
Hi, I'm Chris Hyunhum Cho ✋
ChrisCho-H/ChrisCho-H
ChrisCho-H/btcd
An alternative full node bitcoin implementation written in Go (golang)
ChrisCho-H/rust-bitcoin
Rust Bitcoin library
ChrisCho-H/chain-registry
ChrisCho-H/rust-miniscript
Support for Miniscript and Output Descriptors for rust-bitcoin
ChrisCho-H/rust
Empowering everyone to build reliable and efficient software.
ChrisCho-H/bitcoin
Bitcoin Core integration/staging tree
ChrisCho-H/bitcoin-script
bitcoin script(opcode) guide in detail ✨
ChrisCho-H/miniscript
Miniscript site and implementation
ChrisCho-H/rust-to-ts
rust-to-ts
ChrisCho-H/reference
The Rust Reference
ChrisCho-H/bips
Bitcoin Improvement Proposals
ChrisCho-H/eccrypto-js
Elliptic curve cryptography library (NodeJS, Browser and Pure JS)
ChrisCho-H/ion-tools
Tools and utilities to make working with the ION network and using ION DIDs easy peasy lemon squeezy
ChrisCho-H/esplora
Explorer for Bitcoin and Liquid
ChrisCho-H/hacking
hack the vault of metamask
ChrisCho-H/lightning
Lightning client methods
ChrisCho-H/tiny-secp256k1
A tiny secp256k1 native/JS wrapper
ChrisCho-H/hippocrat-wallet-sdk
support bitcoin, its layer-2(ION, liquid, lightning) and cryptographic tool