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
• trustboost / TrustBoost
  ☆19Updated 2 years ago
• gitferry / bamboo-stratus
  Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"
  ☆26Updated 3 years ago
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆64Updated 10 months ago
• SutuLabs / zkcourse
  ☆22Updated 9 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆54Updated 2 years ago
• 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
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆15Updated 3 years ago
• liyue201 / gnark-examples
  《zkSNARK实践》中的源码
  ☆18Updated 3 years ago
• shlee-lab / Smart-contract-security-analysis
  Papers of smart contract security analysis (and tools)
  ☆36Updated 6 years ago
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• whbjzzwjxq / ZKAP
  ☆25Updated last year
• OSUSecLab / TxSpector
  ☆64Updated 2 years ago
• xliamren / awesome-blockchain-papers
  A curated list of academic blockchain-related papers
  ☆126Updated 4 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
• wenjin1997 / awesome-zkp-learning
  Personal notes about ZKP
  ☆27Updated last year
• ZKPunk-Org / ZKPedia
  ☆21Updated 8 months ago
• sourav1547 / adkg
  ☆26Updated 3 years ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated 2 years ago
• coset-io / zkp-academy
  A month-long zkp study group, one topic at a time.
  ☆168Updated 2 months ago
• 0xEigenLabs / tss-wasm
  Threshold signature library across multiple platforms
  ☆44Updated 2 years ago
• KimiWu123 / Samples
  Samples of Ethereum smart contracts, golang and circom for beginners.
  ☆38Updated 2 years ago
• witnet / vrf-solidity
  Verifiable Random Function (VRF) library written in Solidity
  ☆101Updated 3 years ago
• blockchain-deadlines / blockchain-deadlines.github.io
  Deadline countdowns for high-quality academic venues relevant to blockchain
  ☆25Updated 3 weeks ago
• microsoft / Forerunner
  Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
  ☆100Updated last year
• ethereum / protocol-security
  ☆42Updated this week
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆88Updated last year
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆30Updated last week