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
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- ☆19Updated 2 years ago
- Implementations of do255e and do255s in C and assembly☆25Updated 3 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- a web page / paper☆18Updated 8 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 11 months ago
- ☆23Updated 2 years ago
- Compiles r1cs gadgets to the zkinterface format☆10Updated 4 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- LibSWIFFT - A fast C/C++ library for the SWIFFT secure homomorphic hash function☆27Updated last year
- ☆18Updated last year
- The HexagonE VM☆25Updated 2 years ago
- [RFC9380] Hash to curves - Go reference implementation☆21Updated last month
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆19Updated last month
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- ☆59Updated 2 years ago
- AVX-2 vectorised 8-bit positional popcount for Go☆23Updated 4 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- CLOCK-Pro cache replacement algorithm for Rust☆27Updated 11 months ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Updated 8 years ago
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆29Updated 7 months ago
- Rust binding for fastpbkdf2☆15Updated 4 years ago
- ☆19Updated 4 years ago
- Verification-Driven Development☆21Updated 3 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- A pure rust implementation of the gimli cipher☆11Updated 3 years ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- Elliptic curves Rust reference implementation☆15Updated last year
- This is a read-only mirror of: https://gitlab.com/equalitie/asio-ipfs "A C++ Boost.Asio wrapper library over go-ipfs"☆15Updated last year