A golang implementation of a sparse merkle tree
☆56Dec 27, 2018Updated 7 years ago
Alternatives and similar repositories for gosmt
Users that are interested in gosmt are comparing it to the libraries listed below
Sorting:
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- Sparse Merkle Tree☆59May 4, 2023Updated 2 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Oracle feeder service (presently supporting Terra)☆14Jan 23, 2023Updated 3 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 5 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Codec library for protobuf3 in Solidity☆17Apr 4, 2024Updated last year
- Celestia Specifications☆49Sep 19, 2022Updated 3 years ago
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- ☆15May 27, 2021Updated 4 years ago
- IPC implementation atop CometBFT☆17Jan 11, 2024Updated 2 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48May 3, 2019Updated 6 years ago
- ☆42Apr 28, 2020Updated 5 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18May 8, 2020Updated 5 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- ☆28Jan 12, 2026Updated last month
- Sample implementation of NSEC5 cryptography☆23Aug 27, 2018Updated 7 years ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆32Aug 13, 2019Updated 6 years ago
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 6 years ago
- implements invertible bloom filters in golang☆16Feb 3, 2020Updated 6 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 4 years ago
- Python implementation of the HydRand protocol☆18Oct 18, 2022Updated 3 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Nov 20, 2021Updated 4 years ago
- Working group for a standard liquid staking module for Cosmos Chain☆14Jan 17, 2022Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Driver for round-based protocols in Rust☆24Jan 17, 2024Updated 2 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 5 years ago
- Demo plugin for Kubo IPFS daemon☆20Feb 23, 2026Updated last week
- Understandable notes on blockchain papers.☆21Feb 19, 2019Updated 7 years ago