matteocam / sha256-circuitView external linksLinks
An efficient circuit implementation of SHA256.
☆12Jan 14, 2018Updated 8 years ago
Alternatives and similar repositories for sha256-circuit
Users that are interested in sha256-circuit are comparing it to the libraries listed below
Sorting:
- A WIP oracle server☆12Feb 4, 2023Updated 3 years ago
- ☆17Mar 25, 2023Updated 2 years ago
- The Trinity client for the Eth2 network☆14Aug 25, 2020Updated 5 years ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Jun 20, 2025Updated 7 months ago
- Efficient compression of Bitcoin's header chain☆12Aug 23, 2019Updated 6 years ago
- ☆30Feb 1, 2023Updated 3 years ago
- Whirlpool server☆16Jan 21, 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
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 3 years ago
- ☆25Feb 23, 2021Updated 4 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Jun 7, 2019Updated 6 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 3 years ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- ☆19Apr 29, 2021Updated 4 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Feb 6, 2024Updated 2 years ago
- Stress Testing ZK Systems Through Maximum Pain☆28Jan 28, 2026Updated 2 weeks ago
- a simple implementation of the KZG polynomial commitment scheme☆25Nov 22, 2021Updated 4 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Sep 11, 2017Updated 8 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- ☆24Dec 21, 2024Updated last year
- Lightning Network Simulator☆24Aug 25, 2021Updated 4 years ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆27Oct 12, 2020Updated 5 years ago
- Compiler for BitML☆27Mar 10, 2022Updated 3 years ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Jun 29, 2023Updated 2 years ago
- Emin Gün Sirer Lying About Things☆24Jan 19, 2018Updated 8 years ago
- An implementation of the LowMC block cipher family.☆27Nov 29, 2017Updated 8 years ago
- BLS12-381 cryptography using Apache Milagro☆29Feb 2, 2024Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 9 months ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Accountable Watching Service☆28Dec 8, 2022Updated 3 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Apr 18, 2019Updated 6 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Apr 5, 2018Updated 7 years ago
- LaTeX of the MimbleWimble paper☆32Dec 23, 2021Updated 4 years ago
- A proof-of-concept implementation of Submarine Sends for Ethereum☆28Nov 16, 2018Updated 7 years ago
- ☆36Nov 6, 2018Updated 7 years ago