CoinFabrik / mpc-manager
WebSocket Manager that facilitates secure communication between parties for multi party computation applications.
☆11Updated last year
Alternatives and similar repositories for mpc-manager:
Users that are interested in mpc-manager are comparing it to the libraries listed below
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 weeks ago
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆26Updated 10 months ago
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 2 months ago
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆41Updated 5 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆23Updated 3 weeks ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆41Updated 4 months ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 8 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆57Updated 3 months ago
- My work for Rareskills ZK Book.☆48Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆287Updated 3 months ago
- ☆195Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆245Updated 9 months ago
- ☆81Updated 4 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Collection of security reviews of ZK Protocols☆225Updated 4 months ago
- ☆22Updated 7 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 9 months ago
- AES-GCM implementation in Circom☆38Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆66Updated 2 years ago
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆15Updated 4 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆77Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year
- ED25519 implementation in Circom☆113Updated last year
- Big integer arithmetic and secp256k1 ECC operations in circom☆324Updated last year
- SMT 2023 Submission; license pending☆53Updated 4 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 4 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆255Updated last month
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year