Blockchain Bibliography
☆48Jul 25, 2023Updated 3 years ago
Alternatives and similar repositories for blockchainbib
Users that are interested in blockchainbib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python implementation of the HydRand protocol☆18Oct 18, 2022Updated 3 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Sep 24, 2026Updated 2 weeks ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 5 years ago
- Cryptographic protocol analysis for students and engineers.☆10Aug 27, 2019Updated 7 years ago
- ☆11Apr 2, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zero Trust Bitcoin Options on Ethereum☆12Jun 4, 2021Updated 5 years ago
- ssh key exchange layer for scapy☆13Oct 27, 2014Updated 11 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Jan 24, 2023Updated 3 years ago
- (Summed) Merklized Binary Radix Tree library☆18Oct 10, 2016Updated 10 years ago
- ☆29Apr 7, 2021Updated 5 years ago
- Ethereum Virtual Machine (EVM) on Low-Power IoT Devices☆21Dec 30, 2021Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Experimental High Assurance Cryptographic Library☆21Feb 1, 2016Updated 10 years ago
- Simple proxy designed to intercept and modify connections on the transport level. This means you can also modify TLS raw bytes.☆17Dec 13, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- A forward-secure append-only persistent authenticated data structure☆17Jul 5, 2016Updated 10 years ago
- The shamirsplit package implements Shamir's cryptographic secret sharing algorithm☆17Sep 13, 2013Updated 13 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆21Oct 26, 2018Updated 7 years ago
- interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge☆17May 18, 2022Updated 4 years ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Feb 3, 2021Updated 5 years ago
- Leak patterns for LeakTK tools to use☆10Updated this week
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆21Mar 25, 2024Updated 2 years ago
- Go logging library used at Mailgun.☆20Mar 11, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Jan 24, 2023Updated 3 years ago
- This is a Tamarin model of TLS 1.3☆45Aug 19, 2023Updated 3 years ago
- Simple geth node running a private development network☆15Jun 3, 2022Updated 4 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- The Code Peer Review Application for The Crypto Project☆22Feb 21, 2013Updated 13 years ago
- Lucidity's Plasma Cash Implementation☆16Nov 8, 2018Updated 7 years ago
- Agentic Skill for Paper Review☆17Feb 4, 2026Updated 8 months ago
- Optimized, portable implementations of BLAKE2b☆25Feb 5, 2016Updated 10 years ago
- Various tools related to SSL denial of service☆47Sep 23, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Python framework for extracting secret data from compression oracles such as those exploited by the BEAST and CRIME attacks.☆10Apr 22, 2015Updated 11 years ago
- Reference Implementation of the Strata Bridge☆15Updated this week
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Python script to search for and purchase first available Amazon Whole Foods delivery slot☆20Jun 2, 2021Updated 5 years ago
- Compiling Noir to R1CS with witness generation and automatic differentiation binaries☆23Updated this week
- An index of some of the open source efforts at Khan Academy☆17Jun 2, 2023Updated 3 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 6 months ago