HastilyConceivedCreatures / safecatLinks
A CLI tool to for crypto functions
☆13Updated last year
Alternatives and similar repositories for safecat
Users that are interested in safecat are comparing it to the libraries listed below
Sorting:
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- ☆40Updated 2 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- Cryptography for Ethereum Verkle Trees☆42Updated last year
- JSON parser written in Lurk☆28Updated 2 years ago
- ☆33Updated 2 years ago
- We're living in Obfustopia☆27Updated last year
- A trust-minimized cross-chain execution environment.☆14Updated 3 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A battleship game using ZKPs☆43Updated 2 years ago
- ☆41Updated 8 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- ☆20Updated last week
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Updated 3 years ago
- A verifiable supercomputer☆77Updated 6 months ago
- Codex durability engine research☆36Updated 3 months ago
- circom runtime☆20Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated 2 years ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- sha256(sha256(preimage)) in zk☆15Updated 4 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- ☆32Updated 3 years ago
- ☆17Updated 2 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Updated last year
- ☆46Updated 3 years ago
- ZK proofs for Brainfuck execution using powdr☆17Updated last year
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆34Updated last year
- ☆20Updated 4 years ago