HastilyConceivedCreatures / safecatLinks
A CLI tool to for crypto functions
☆11Updated 4 months ago
Alternatives and similar repositories for safecat
Users that are interested in safecat are comparing it to the libraries listed below
Sorting:
- Shared Lurk source code, including tests and library code.☆18Updated last year
- ☆15Updated this week
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- JSON parser written in Lurk☆29Updated last year
- ☆30Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- ZK proofs for Brainfuck execution using powdr☆16Updated 9 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Installation tooling for Noir☆25Updated this week
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 3 years ago
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆33Updated last year
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- ☆32Updated last year
- ☆39Updated last year
- ☆21Updated 2 years ago
- ☆18Updated 3 years ago
- A high-performance verifiable storage layer for appchains and L2s.☆11Updated last month
- ☆20Updated 4 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- ☆14Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆25Updated this week
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆16Updated 2 years ago
- ☆15Updated 3 years ago
- Codec library for protobuf3 in Solidity☆16Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- A crate for working with Ethereum beacon chain light client protocol messages. `no_std` friendly!☆13Updated 2 years ago
- circom runtime☆19Updated 7 months ago