Graphegon / CoinBLASLinks
Bitcoin blockchain graph analysis with the GraphBLAS.
☆27Updated 4 years ago
Alternatives and similar repositories for CoinBLAS
Users that are interested in CoinBLAS are comparing it to the libraries listed below
Sorting:
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 3 years ago
- TradR.fun is a free and opensource cryptocurrency price signal prediction application.☆19Updated 4 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 5 years ago
- Tendermint + Sqlite3 = BFT Database Replication☆38Updated 7 years ago
- A curated list of mechanism design resources and links.☆19Updated 4 years ago
- The technical paper for the Spark protocol☆11Updated last year
- Simple Smart Order Router for crypto market☆26Updated last year
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- documentation, justification, and potential use-cases of the Amoveo blockchain.☆25Updated 10 months ago
- Bounds on divsteps iterations in safegcd☆53Updated 10 months ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- Low-level language for encoding AIR of computations☆37Updated 2 years ago
- An independent reimplementation of (vn)TinyRAM☆38Updated 8 years ago
- Delay Function Verification Smart Contract☆28Updated 4 years ago
- A library for decentralized private computation☆19Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Solidity Library for parsing and verifying TLS-N proofs.☆18Updated 8 years ago
- Simulating a modified Satoshi consensus (penalty system for delayed block submission) by Horizen to enhance protection against 51% attack…☆16Updated 5 years ago
- Implementation and evaluation of combinatorial auction protocols: VCG and Groves mechanism with submodular approximation (GM-SMA)☆26Updated 2 years ago
- JavaScript bindings of libsecp256k1-zkp with support for pedersen commitments and range proofs.☆17Updated last year
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Updated 3 years ago
- Consensus-level Front-running protection mechanism using Threshold Identity-Based Encryption☆16Updated last year
- Playground for ZoKrates ZK Snark toolbox for Ethereum☆16Updated 6 years ago
- Invertible Bloom Lookup Table implementation in C++☆56Updated 3 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 6 years ago
- TLA+ specification for Succinct Atomic Swap smart contract☆25Updated 5 years ago
- ☆16Updated 4 years ago
- ☆18Updated 2 years ago