Privacy-preserving machine learning

• ZK for Neural Networks
  • github, paper

Blockchain x Post-quantum Crypto

• Signature for consensus:
  • Squirrel: Efficient Synchronized Multi-Signatures from Lattices. github, paper
• Verifiable random functions for consensus
  • Lattice based construction: github, paper
  • Hash based construction: paper
• Signatures for authentication
  • Raptor signature: github, paper
  • Falcon signature: Falcon-rust, Falcon-r1cs.

Blockchain cryptography

• ZKP architecture and applications
  • Poseidon hash circuit: first place of ZPRIZE competition
    • The challenge and the result announcement.
  • ArkSpartan: Spartan Prove System plugged into Arkworks framework.
    • github
  • VeriZexe: achieving functional privacy for smart contracts
    • github, paper
  • Jellyfish: a rust implementation of PLONK zero-knowledge proof system
    • the most feature-complete and fastest open-source implementation of PLONK;
    • github, press
    • also comes with a solidity verifier
  • Manta: Privacy Preserving Decentralized Exchange
    • website, github, paper, press
  • Pointproofs: github, paper, press
• Signatures
  • BLS signature: github, crate.io, Internet-Draft, press
  • Pixel signature: github, press
• Curves
  • Pasta curve on solidity
  • Bandersantch curve: original post, github.

NIST post-quantum cryptography

• Standard
  • Falcon Signature
• 3nd round finalists
  • NTRU
• 2nd round candidates
  • Round5 KEM/PKE
  • LAC
• 1st round candidate
  • pqNTRUSign