SHA512 Circom circuits
☆15Dec 28, 2022Updated 3 years ago
Alternatives and similar repositories for sha512
Users that are interested in sha512 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AES-GCM implementation in Circom☆38Aug 17, 2022Updated 3 years ago
- SDK for Zero Knowledge Proof Verification on Rust based chains☆32Sep 15, 2023Updated 2 years ago
- ED25519 implementation in Circom☆119Jun 30, 2023Updated 2 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆15Dec 8, 2023Updated 2 years ago
- Hashing circuits implemented in circom☆28Jan 24, 2025Updated last year
- A dataframe approach to the Cairo framework☆17Feb 10, 2025Updated last year
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- Verify JWTs using SNARK circuits☆29Jul 15, 2024Updated last year
- Base64 encoding for Aztec's noir language☆16Jan 3, 2024Updated 2 years ago
- ☆22Feb 19, 2026Updated last month
- ☆19Feb 2, 2024Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago
- ☆20Jul 7, 2025Updated 8 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆44Jul 14, 2023Updated 2 years ago
- REST API for snarkjs prover☆19Mar 14, 2023Updated 3 years ago
- Building the first permissionless layer2 orderbook DEX on Ethereum, powered by PLONK zk-rollup☆39Jan 13, 2022Updated 4 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated 2 years ago
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- keccak256 hash implementation in Circom☆83Apr 24, 2022Updated 3 years ago
- pych - The Python/Chapel integration module. NOTE: This repository is now deprecated.☆15Sep 20, 2018Updated 7 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 8 months ago
- ☆93Nov 3, 2021Updated 4 years ago
- 🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs☆23Jun 3, 2023Updated 2 years ago
- ☆23Oct 6, 2020Updated 5 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 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.
- Update: Ignore this repo, check out @lucidrains' implementation https://github.com/lucidrains/musiclm-pytorch