Alternatives and similar repositories for flint-2

Users that are interested in flint-2 are comparing it to the libraries listed below

• ewasm / benchmarking
  Instructions for benchmarking Ewasm precompiles. (And results.)
  ☆20Updated 4 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 6 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆38Updated 8 years ago
• ethereum / yul-isabelle
  ☆41Updated 2 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• kobigurk / privacypass-rs
  Fully-compatible implementation of Privacy Pass in Rust.
  ☆35Updated 5 years ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆19Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆19Updated 8 months ago
• ZcashFoundation / ristretto255-dh
  Diffie-Hellman key exchange using the Ristretto255 group, in Rust.
  ☆21Updated 2 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 weeks ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated last week
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆48Updated 10 months ago
• bmwill / anemo
  ☆14Updated 3 months ago
• axic / yevm
  "Why EVM?" is an EVM compiler infrastructure.
  ☆11Updated 6 years ago
• paritytech / rust_solc
  easily compile solidity files from rust
  ☆20Updated 5 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• recmo / zkp-u256
  Rust 256-bit unsigned integers.
  ☆9Updated 2 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated 11 months ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• axic / runevm
  EVM interpreter compatible with the evm2wasm interface
  ☆46Updated 3 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• golemfactory / gMorph
  Fully Homomorphic Encryption library
  ☆25Updated 5 years ago
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 3 years ago
• Lancern / dsu-tree
  A non-invasive disjoint-set-like data structure implementation in Rust
  ☆10Updated last year
• DeployDAO / migrator
  ⬆ A program for deploying and upgrading programs.
  ☆28Updated 2 years ago