Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our CS244 project in Professor Kung's class at Harvard University.
☆10Aug 26, 2018Updated 7 years ago
Alternatives and similar repositories for proof-of-sequential-work
Users that are interested in proof-of-sequential-work are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NABERT model for solving the DROP dataset☆26Jul 1, 2019Updated 7 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 12 years ago
- Implementation of a simple algorithm to encrypt and decrypt time-lock puzzles described by Rivest et al.☆12Dec 14, 2013Updated 12 years ago
- ☆14Sep 28, 2020Updated 5 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆23Apr 17, 2018Updated 8 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.
- A curated list of proof of storage and decentralized storage resources and links.☆30Mar 28, 2023Updated 3 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
- ☆26Apr 13, 2026Updated 3 months ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 7 years ago
- 零知识证明☆23Jun 1, 2023Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Understandable notes on blockchain papers.☆21Feb 19, 2019Updated 7 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 6 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Javascript/Typescript library to interact with the Vocdoni Open Stack☆12Jan 22, 2024Updated 2 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 8 years ago
- Document scoped to discussion of System Essentials for WebAssembly☆12Apr 14, 2021Updated 5 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 6 years ago
- VDF competition instructions, and simple implementation☆87Jan 18, 2023Updated 3 years ago
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- message signing and verifying for Lightning Network☆10Jan 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Jupyter notebooks with some NAND code☆19Dec 4, 2018Updated 7 years ago
- We use attention model for intrusion detection. The idea of Hierarchical Attention Model for Intrusion Detection comes from the applicat…☆12Jul 4, 2020Updated 6 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 5 years ago
- ☆28Jan 12, 2026Updated 6 months ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- Polkadot Protocol Conformance Tests☆10May 22, 2023Updated 3 years ago
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 6 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 3 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.
- geth metrics exporter for Prometheus☆13Jan 21, 2026Updated 6 months ago
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 7 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆27May 28, 2020Updated 6 years ago
- The monorepo for Meson project☆12May 30, 2024Updated 2 years ago
- ☆13Jul 1, 2026Updated 3 weeks ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago