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 8 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:
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆23Apr 17, 2018Updated 8 years ago
- NABERT model for solving the DROP dataset☆26Jul 1, 2019Updated 7 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
- Compact Proofs of Retrievability☆13May 28, 2014Updated 12 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A curated list of proof of storage and decentralized storage resources and links.☆30Mar 28, 2023Updated 3 years ago
- ☆26Apr 13, 2026Updated 6 months ago
- ☆14Sep 28, 2020Updated 6 years ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Oct 23, 2018Updated 8 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 6 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 7 years ago
- Understandable notes on blockchain papers.☆21Feb 19, 2019Updated 7 years ago
- 零知识证明☆24Jun 1, 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.
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- VDF competition instructions, and simple implementation☆87Jan 18, 2023Updated 3 years ago
- Javascript/Typescript library to interact with the Vocdoni Open Stack☆12Aug 28, 2026Updated 2 months ago
- Jupyter notebooks with some NAND code☆19Dec 4, 2018Updated 7 years ago
- Document scoped to discussion of System Essentials for WebAssembly☆12Apr 14, 2021Updated 5 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 3 years ago
- message signing and verifying for Lightning Network☆10Jan 6, 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
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- InstaDApp Alternate Dashboard.☆10Sep 23, 2019Updated 7 years ago
- Website!☆22Sep 20, 2022Updated 4 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 6 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
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 6 years ago
- ☆13Feb 22, 2022Updated 4 years ago
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- ☆28Jan 12, 2026Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 6 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆27May 28, 2020Updated 6 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
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- ☆13Jul 1, 2026Updated 4 months ago
- a web page / paper☆18Sep 2, 2026Updated 2 months ago
- An implementation of the Groth-Sahai NIZK protocol☆13Oct 19, 2016Updated 10 years ago