Pinned Repositories
legosnark
C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
citerus
Citerus retrieves your cryptographic citations.
cpsnarks-set
Rust library for efficient, succinct and modular set membership and non-membership proofs
libsnark-lego
libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]
lncs-latex-template
network-reliability-tools
An implementation of Moskovitz's factoring theorem to compute reliability on networks.
pay-to-sudoku
Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
pay-to-sudoku-attack
sha256-circuit
An efficient circuit implementation of SHA256.
zkcsp-over-bitcoin
An implementation for fair auditing and contingent payments in Bitcoin
matteocam's Repositories
matteocam/citerus
Citerus retrieves your cryptographic citations.
matteocam/libsnark-lego
libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]
matteocam/cpsnarks-set
Rust library for efficient, succinct and modular set membership and non-membership proofs
matteocam/lncs-latex-template
matteocam/matteocam.github.io
matteocam/testudo
matteocam/veksel
matteocam/you-are-the-emails-you-write
A NLP Mail Analytics API
matteocam/bellman-legogroth
zk-SNARK library.
matteocam/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
matteocam/colisp19
An interpreter + tools for a random dialect of Lisp. Written in Haskell
matteocam/CPlink
An efficient SNARK to link together Pedersen-like commitments (from LegoSNARK, eprint:2019/142)
matteocam/cpsnarks-set-accumulator
matteocam/cqext
matteocam/curves
Implementations of popular elliptic curves
matteocam/db
CryptoBib Database for Developers
matteocam/defense-slides
matteocam/hyraxZK
Hyrax reference implementation: meta-repo with top-level makefile, etc
matteocam/jsnark-setmem
A Java library for zk-SNARK circuits
matteocam/libff
C++ library for Finite Fields and Elliptic Curves
matteocam/libsnark-tutorial
Tutorial and example code for using libsnark
matteocam/lvc-mon-rust
matteocam/music-notation-interpreter
A parser and player for abc musical notation
matteocam/proofsize_derive
matteocam/rug-binserial
A very simple crate to serialize rug integers as strings of bytes (for use in efficient binary serialization)
matteocam/rug-binserial-derive
matteocam/rust-fil-proofs
Proofs for Filecoin in Rust
matteocam/subspace-snark
matteocam/thesis
matteocam/zmieja
A Snake Clone