A collection of resources relevant to the PSE Security Team.
☆12Apr 17, 2023Updated 3 years ago
Alternatives and similar repositories for security
Users that are interested in security are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Jan 7, 2024Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 3 years ago
- ☆14Mar 19, 2025Updated last year
- ☆22Jan 16, 2024Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Coordination of Berlin Ethereum events☆10Nov 24, 2021Updated 4 years ago
- CLI tool for static analysis of Noir, inspired by Cargo Clippy and Cargo Check.☆10Apr 2, 2025Updated last year
- ☆14Dec 26, 2024Updated last year
- Experimental folding schemes library☆289Jul 26, 2026Updated 3 months ago
- A template for creating a UniRep attester.☆23Mar 12, 2024Updated 2 years ago
- ☆18Oct 11, 2023Updated 3 years ago
- Anonymous Proof of Ethereum Address Ownership☆43Sep 23, 2024Updated 2 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆106Mar 29, 2026Updated 7 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Ecne: An engine for verifying the soundness of R1CS constraints☆116Aug 2, 2022Updated 4 years ago
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆60Oct 25, 2023Updated 3 years ago
- ☆13Sep 18, 2023Updated 3 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated 2 years ago
- Persistent Merkle tree in Rust☆13May 17, 2024Updated 2 years ago
- ☆21Jul 23, 2026Updated 3 months ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- ☆28Dec 8, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆14Dec 13, 2024Updated last year
- The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.☆25Updated this week
- Client library for generating and using RLN ZK proofs☆31Oct 4, 2023Updated 3 years ago
- Sandbox for Scaffold-ETH 2 with Noir☆17Nov 3, 2023Updated 2 years ago
- ☆17Mar 18, 2023Updated 3 years ago
- DSL for Halo2 circuits☆188Nov 4, 2024Updated last year
- RLN circuits in Circom☆33Jul 13, 2024Updated 2 years ago
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆52Mar 7, 2024Updated 2 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- Collection of consensus algorithm implementation for research and simulations☆13Feb 24, 2023Updated 3 years ago
- Accelerate Early Stage Programmable Cryptography Talents☆113Sep 26, 2024Updated 2 years ago
- lessons from rektoff, rust specific security course☆14Jul 16, 2025Updated last year
- Soroban contract for Ultrahonk Verifier☆12Jan 28, 2026Updated 9 months ago
- GitHub action that installs huffc☆18Mar 22, 2023Updated 3 years ago