Vacant Positions at Sigma Prime
☆58Nov 3, 2025Updated 4 months ago
Alternatives and similar repositories for positions-vacant
Users that are interested in positions-vacant are comparing it to the libraries listed below
Sorting:
- Ethereum Node Record (ENR) rust implementation☆14Aug 4, 2022Updated 3 years ago
- Learn to audit Solana programs and help secure the ecosystem. Take your security practices to the next level and get certified by Ackee B…☆158Nov 25, 2025Updated 3 months ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- Easy setup for Halo2 ZK circuits☆15Jun 6, 2024Updated last year
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 2 months ago
- COW implementation in Uniswap Hook☆16Sep 16, 2024Updated last year
- Collection of past CTFs to play and practice locally.☆52Aug 20, 2024Updated last year
- Collection of presentations given by Sigma Prime☆19Mar 1, 2022Updated 4 years ago
- A collection of resources to help you build better and more secure Solana programs. Kept up to date.☆575Dec 6, 2025Updated 3 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated last month
- A set of exercises to get started with Cairo0☆22Mar 26, 2025Updated 11 months ago
- Suave/TEE PoCs of MEV Resistant AMMs☆45Feb 6, 2025Updated last year
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- Modular Open Oracle Network☆14May 6, 2024Updated last year
- ZKsync support for alloy☆16Jul 14, 2025Updated 7 months ago
- ☆10May 17, 2024Updated last year
- ☆16Feb 9, 2026Updated last month
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- ☆31Oct 27, 2025Updated 4 months ago
- A list of awesome Reth-related resources☆122Apr 2, 2025Updated 11 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- ☆14Aug 29, 2024Updated last year
- Interactions between developers and auditors☆11Jan 30, 2024Updated 2 years ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Sep 14, 2022Updated 3 years ago
- easy POC template generation from the command line☆77Aug 30, 2024Updated last year
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- The Rust Implementation of libp2p networking stack.☆13Feb 18, 2026Updated 2 weeks ago
- Single owner authorization with zk-based two-factor-authorization.☆18Oct 6, 2022Updated 3 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- ☆37Jun 24, 2024Updated last year
- This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…☆153May 14, 2025Updated 9 months ago
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 2 weeks ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Quickly set up a robust frontend application designed to interact with Ethereum-based smart contracts.☆14Mar 26, 2024Updated last year
- WebGPU MSM implementation☆17Oct 28, 2025Updated 4 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- Hacks/Vulns/Audits Compilation☆163Sep 5, 2024Updated last year