tjim / smpcc
A compiler for secure multiparty computation
☆50Updated 8 years ago
Alternatives and similar repositories for smpcc:
Users that are interested in smpcc are comparing it to the libraries listed below
- Implementations of do255e and do255s in C and assembly☆25Updated 3 years ago
- ☆23Updated 2 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated this week
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- ☆19Updated 2 years ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated last year
- Constant-Time WebAssembly☆24Updated 6 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- C crypto library☆23Updated last year
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Updated 2 months ago
- An AES-based 384 bit permutation.☆19Updated 5 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆14Updated 4 years ago
- Compiles r1cs gadgets to the zkinterface format☆10Updated 4 years ago
- Library of crypto primitives for embedded systems☆24Updated 10 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 7 months ago
- Formalization of FLP Impossibility Theorem☆18Updated 9 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 7 years ago
- ☆18Updated last year
- a web page / paper☆18Updated 8 years ago
- Charm implementation in JavaScript (TypeScript)☆15Updated last week
- Circuits for functions of interest to cryptography☆27Updated last year
- The HexagonE VM☆26Updated 2 years ago
- dalek-compatible implementation of the merlin transcript protocol☆27Updated 5 years ago
- Sonic implementation in Rust☆17Updated 5 years ago
- ☆10Updated 3 years ago
- A pure rust implementation of the gimli cipher☆11Updated 3 years ago
- Verification-Driven Development☆21Updated 4 years ago
- Implementation of cryptographic primitives in Go☆12Updated 2 years ago