Alternatives and similar repositories for comp1000_to_comp1010_transition_workshops

Users that are interested in comp1000_to_comp1010_transition_workshops are comparing it to the libraries listed below

• sutantyo / comp2100
  Notes for Comp202, 2019 Semester 2 offering.
  ☆12Updated 5 years ago
• Spore-dev / Spore-frontend
  ☆11Updated 4 years ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• zero-over-k / zero-over-k
  Batching zero over k checks
  ☆11Updated 2 years ago
• sampritipanda / snarkjs
  zkSNARK implementation in JavaScript & WASM
  ☆15Updated 2 years ago
• privacy-scaling-explorations / summon
  A language for building boolean circuits based on TypeScript
  ☆34Updated last week
• TheFrozenFire / snark-jwt-verify
  Verify JWTs using SNARK circuits
  ☆28Updated last year
• noir-lang / noir-nvim
  A NeoVim plugin providing syntax highlighting and LSP support for Noir
  ☆13Updated last month
• conroi / lcpc
  polynomial commitments from linear codes
  ☆45Updated 7 months ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• dappnetbby / dappnet-protocol
  Axon is a protocol for incentivised data sharing, built atop BitTorrent and Solidity (soon Cairo)
  ☆10Updated last year
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45Updated 2 years ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated 11 months ago
• asonnino / arke
  Decentralised Privacy-Preserving Contact Discovery
  ☆18Updated 2 years ago
• naps62 / pair-gpt.nvim
  an #openAI powered pair programming partner
  ☆37Updated 2 years ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• chancehudson / circom-stark
  ☆14Updated 7 months ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated 9 months ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆31Updated 2 years ago
• halo2club / halo2club.github.io
  ☆16Updated last year
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• zk-ml / uchikoma
  essentialist neural network transpiler for non-floating-point runtimes
  ☆29Updated 2 years ago
• raphaelDkhn / cairo_ml
  Build neural network models in Cairo 1.0
  ☆19Updated 2 years ago
• kobigurk / zkhack-bls-pedersen
  ☆45Updated 3 years ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆58Updated 2 years ago
• compsec-epfl / space-efficient-sumcheck
  ☆34Updated last week
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆18Updated last year
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year