HastilyConceivedCreatures / safecatLinks
A CLI tool to for crypto functions
☆11Updated 9 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
- A battleship game using ZKPs☆43Updated last year
- ☆19Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- JSON parser written in Lurk☆28Updated 2 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Updated 2 months ago
- ☆32Updated 3 years ago
- We're living in Obfustopia☆27Updated 10 months 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
- ☆40Updated 2 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 4 years ago
- ☆17Updated last year
- ☆32Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 7 months ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Updated 3 years ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated 2 years ago
- ☆33Updated 2 years ago
- Codex durability engine research☆35Updated last month
- a lisp built on top of vyper☆42Updated last month
- The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal,…☆12Updated last year
- Cryptography for Ethereum Verkle Trees☆41Updated last year
- ZK proofs for Brainfuck execution using powdr☆17Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Updated 2 years ago
- circom runtime☆20Updated last year
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆34Updated last year
- ☆41Updated 2 years ago