tjim / smpcc

Related projects ⓘ

Alternatives and complementary repositories for smpcc

• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 3 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 3 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆18Updated 5 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• tfaoliveira / libjc
  ☆19Updated last year
• 0xPolygonZero / r1cs-zkinterface
  Compiles r1cs gadgets to the zkinterface format
  ☆10Updated 3 years ago
• gvilitechltd / LibSWIFFT
  LibSWIFFT - A fast C/C++ library for the SWIFFT secure homomorphic hash function
  ☆27Updated last year
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆16Updated last year
• IAIK / fish-begol
  Implementation of the Fish and Begol signature schemes
  ☆13Updated 7 years ago
• matteocam / zkcsp-over-bitcoin
  An implementation for fair auditing and contingent payments in Bitcoin
  ☆22Updated 7 years ago
• pylls / balloon
  A forward-secure append-only persistent authenticated data structure
  ☆14Updated 8 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 7 years ago
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated last year
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 8 years ago
• bcoin-org / libtorsion
  C crypto library
  ☆23Updated last year
• ahasikos / CL_Signatures
  Signature schemes from the paper "Signature Schemes and Anonymous Credentials from Bilinear Maps" by Jan Camenisch and Anna Lysyanskaya
  ☆12Updated 3 years ago
• dedis / onet
  Overlay Network for distributed protocols
  ☆51Updated last year
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 2 years ago
• dalek-cryptography / doppio
  Embedded curve over the Ristretto255 scalar field, for use in Bulletproofs
  ☆17Updated 5 years ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆12Updated last year
• matklad / paxosnotes
  ☆22Updated 2 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆36Updated this week
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆18Updated last month
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago