CoinFabrik / mpc-manager
WebSocket Manager that facilitates secure communication between parties for multi party computation applications.
☆11Updated last year
Related projects: ⓘ
- A list of public audit reports conducted by the CoinFabrik team.☆19Updated 3 weeks ago
- Full WASM Secure Threshold Signature ECDSA Library☆29Updated last year
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆25Updated 3 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆54Updated last week
- 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
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆35Updated last week
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 2 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆115Updated last year
- Collection of security reviews of ZK Protocols☆210Updated 3 weeks ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆226Updated 2 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- ☆188Updated 9 months ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆601Updated 6 months ago
- educational python plonk implementation, based on vitalik's py_plonk☆187Updated 2 months ago
- Tutorial for STARKs with supporting code in python☆198Updated last month
- List of halo2-related resources☆187Updated 7 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆301Updated 10 months ago
- Introduction to Zero Knowledge Proof☆239Updated 2 years ago
- Reproduce ZKP vulnerabilities☆30Updated this week
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆110Updated 4 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 7 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆198Updated 9 months ago
- A repo for our research papers☆195Updated last week
- Automated verification of uniqueness property for ZKP circuits☆65Updated 6 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆101Updated 2 years ago
- MoonMath Manual notes, exercise solution and extra comments.☆24Updated 2 months ago
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆269Updated this week
- ☆78Updated 3 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆63Updated last year