Alternatives and similar repositories for Symboleo-IDE:

Users that are interested in Symboleo-IDE are comparing it to the libraries listed below

• spring-epfl / zksk
  Zero-Knowledge Swiss Knife
  ☆94Updated 2 years ago
• zkpstandard / zkreference
  The official repository hosting the ZKProof Community Reference & Proposals documents.
  ☆102Updated 2 years ago
• anmavrid / smart-contracts
  ☆119Updated last year
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆125Updated 2 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆51Updated last year
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆126Updated last year
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 5 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆71Updated 10 months ago
• lsds / Teechain
  Teechain: A Secure Payment Network with Asynchronous Blockchain Access
  ☆54Updated 5 years ago
• signavio / BPMN-Sol
  Compiler to convert BPMN 2.0 xml to solidity smart contract
  ☆16Updated 4 months ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 5 years ago
• chainspace / chainspace-prototype
  Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.
  ☆56Updated 5 years ago
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆83Updated last year
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆35Updated 6 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆42Updated 2 years ago
• multiparty / web-mpc
  Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).
  ☆55Updated last year
• wanidon / RA
  ☆18Updated 3 years ago
• gordonpace / contractLarva
  Runtime verification tool for Solidity smart contracts.
  ☆32Updated last year
• initc3 / HoneyBadgerBFT
  ☆20Updated 6 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• akosba / xjsnark
  A high-level framework for developing efficient zk-SNARK circuits
  ☆185Updated 2 years ago
• kframework / solidity-semantics
  Semantics of Solidity in K
  ☆29Updated 5 years ago
• docknetwork / crypto-wasm-ts
  Typescript abstractions over Rust crypto library's WASM wrapper
  ☆28Updated 3 weeks ago
• bl4ck5un / Town-Crier
  Town Crier: an Authenticated Data Feeds for Smart Contracts
  ☆136Updated 3 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆19Updated 6 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆61Updated 5 years ago
• JeremyRubin / MAST
  6.858 final project.
  ☆18Updated 9 years ago
• ebfull / halo
  ☆115Updated 3 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago