Alternatives and similar repositories for SoKSPBlockchainInterop

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

• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆88Updated last year
• 3for / learning-ZKP-from-zero-to-one
  Some tips for new learners of ZKP
  ☆27Updated 4 years ago
• liyue201 / gnark-examples
  《zkSNARK实践》中的源码
  ☆18Updated 3 years ago
• sourav1547 / adkg
  ☆26Updated 3 years ago
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆64Updated 10 months ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆92Updated last year
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• disco-project / smart-sync
  Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.
  ☆13Updated 2 years ago
• trustboost / TrustBoost
  ☆19Updated 3 years ago
• blockchain-deadlines / blockchain-deadlines.github.io
  Deadline countdowns for high-quality academic venues relevant to blockchain
  ☆25Updated last week
• whbjzzwjxq / ZKAP
  ☆25Updated last year
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆55Updated 2 years ago
• z2o-k7e / z2o-k7e.github.io
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia
  ☆71Updated last year
• wenjin1997 / awesome-zkp-learning
  Personal notes about ZKP
  ☆28Updated last year
• gitferry / bamboo-stratus
  Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"
  ☆26Updated 3 years ago
• ingonyama-zk / zkctf-2023-writeups
  Write-ups submitted by CTF participants
  ☆35Updated 2 years ago
• KyrinCode / ZKP
  ☆17Updated last year
• rozbb / zkcreds-rs
  ☆70Updated 3 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆113Updated 3 years ago
• SutuLabs / zkcourse
  ☆23Updated 10 months ago
• coset-io / zkp-academy
  A month-long zkp study group, one topic at a time.
  ☆170Updated 3 months ago
• firoorg / solidity-BigNumber
  Full BigNumber library implementation for Solidity.
  ☆99Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆89Updated last year
• PopcornPaws / fde
  ☆38Updated last year
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated 2 years ago
• zkp-application / circom-rsa-verify
  Zero Knowledge Proof for RSA
  ☆55Updated 2 years ago
• yi-sun / circom-pairing
  ☆202Updated last year
• eth-sri / zapper
  ☆20Updated 3 years ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 3 years ago
• microsoft / Forerunner
  Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
  ☆100Updated 2 years ago