HastilyConceivedCreatures / safecatLinks
A CLI tool to for crypto functions
☆13Updated 11 months ago
Alternatives and similar repositories for safecat
Users that are interested in safecat are comparing it to the libraries listed below
Sorting:
- A battleship game using ZKPs☆43Updated 2 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 6 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- JSON parser written in Lurk☆28Updated 2 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- ☆20Updated 4 years ago
- ☆40Updated 2 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- circom runtime☆20Updated last year
- ☆41Updated 7 months ago
- a lisp built on top of vyper☆43Updated 3 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆57Updated 3 weeks ago
- Data aggregator for Cosmwasm☆18Updated 3 years ago
- ☆15Updated last week
- We're living in Obfustopia☆27Updated 11 months ago
- A trust-minimized cross-chain execution environment.☆14Updated 2 months ago
- ☆32Updated 3 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated 7 months ago
- Cryptography for Ethereum Verkle Trees☆41Updated last year
- Codex durability engine research☆36Updated 2 months ago
- Installation tooling for Noir☆31Updated 6 months ago
- SHA256 library highly optimized for Merkle tree computations☆39Updated this week
- ☆19Updated this week
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆34Updated last year
- examples and utilities of dstack applications☆18Updated 2 weeks ago
- Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.☆23Updated last year