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 6 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
- ☆15Sep 28, 2020Updated 5 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 11 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆26Jan 18, 2023Updated 3 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆23Apr 17, 2018Updated 7 years ago
- A curated list of proof of storage and decentralized storage resources and links.☆30Mar 28, 2023Updated 2 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- 零知识证明☆24Jun 1, 2023Updated 2 years ago
- Understandable notes on blockchain papers.☆21Feb 19, 2019Updated 7 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Document scoped to discussion of System Essentials for WebAssembly☆12Apr 14, 2021Updated 4 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 7 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 5 years ago
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- VDF competition instructions, and simple implementation☆87Jan 18, 2023Updated 3 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 5 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago
- ☆28Jan 12, 2026Updated 2 months ago
- 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.
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 5 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Polkadot Protocol Conformance Tests☆10May 22, 2023Updated 2 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 3 years ago
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 6 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- Jupyter notebooks with some NAND code☆19Dec 4, 2018Updated 7 years ago
- 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.
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Results of a recent FOIA for NIST documents related to the design of Dual EC DRBG. Via EFF and Rep. Grayson's office. See README for deta…☆24Feb 10, 2015Updated 11 years ago
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years 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
- The monorepo for Meson project☆11May 30, 2024Updated last year
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- ☆13Mar 12, 2026Updated 2 weeks ago