☆14Jul 31, 2025Updated last year
Alternatives and similar repositories for zk-rollup-security
Users that are interested in zk-rollup-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:
- ☆29Jul 18, 2026Updated 3 months ago
- ☆15Aug 6, 2026Updated 2 months ago
- Generate a single file with code and comments from a directory tree, optimized for input to AI language models like GPT for code review o…☆14Jan 3, 2025Updated last year
- ☆13Oct 3, 2023Updated 3 years ago
- ☆11Nov 18, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 3 years ago
- ☆15Jan 25, 2022Updated 4 years ago
- SeGuRu: safe GPU programming in Rust☆22Sep 25, 2026Updated last month
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆78Dec 11, 2025Updated 10 months ago
- Repository containing CTF challenges from nmirchev8, deth and bOgO.☆16Aug 17, 2024Updated 2 years ago
- ☆20Jul 18, 2024Updated 2 years ago
- The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.☆24Oct 16, 2026Updated last week
- High-performance runtime for real-time multimodal generation and world models—streaming inference, stateful sessions, and distributed GP…☆35Sep 26, 2026Updated 3 weeks ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- List of resources and links that are relevant☆17Jan 16, 2026Updated 9 months ago
- 其中核心代码由 B站@偶尔有点小迷糊 提供，通过音频文件的二进制，让两个文件融为一体，音频几乎听不出区别☆10Jan 22, 2022Updated 4 years ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆24Sep 29, 2023Updated 3 years ago
- Notes of Berkeley ZKP MOOC Course☆21Apr 1, 2024Updated 2 years ago
- Send Sol with JS and HTML with Phantom Wallet☆10Mar 12, 2022Updated 4 years ago
- solve scripts for all 3 of @0xhana's paradigm ctf challs!☆20Feb 12, 2023Updated 3 years ago
- A curated list of Bitcoin SV developer tools and services.☆22Mar 22, 2024Updated 2 years ago
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 3 years ago
- Learn Huff through annotated examples.☆31May 31, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Image editor from scratch. Includes a TrueType font parser and PNG encoder/decoder☆11Oct 22, 2025Updated last year
- ☆14Apr 18, 2026Updated 6 months ago
- A BrainFuck zkVM based on a customised version of PlonkUp☆11May 4, 2023Updated 3 years ago
- ☆18Updated this week
- Swagger extension to support the HAL JSON formatting☆11Apr 5, 2022Updated 4 years ago
- ☆23Aug 8, 2026Updated 2 months ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 3 years ago
- Reverseshell Generator☆10Dec 13, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Hierarchical-deterministic wallets library for Symbol☆11Jan 31, 2024Updated 2 years ago
- RealWorld CTF 3rd billboard challenge & writeup☆27Jan 6, 2023Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 7 years ago
- Skill: Towards Impeccable Rust practices (Gjengset / Rust Nation UK 2024)☆13Oct 6, 2026Updated 2 weeks ago
- Information retrieval and text mining using SVD in LSI. SVD has been implemented completely from scratch.☆10Dec 16, 2020Updated 5 years ago
- ☆14May 6, 2026Updated 5 months ago
- This repository serves as a comprehensive resource that delves into the various security aspects of the Tezos blockchain and provides bes…☆14Sep 15, 2026Updated last month