rsinha

LaTeX-OCR

pix2tex: Using a ViT to convert images of equations into LaTeX code.

ockam

Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.

layerform

Layerform helps engineers create reusable environment stacks using plain .tf files. Ideal for multiple "staging" environments.

flapigen-rs

Tool for connecting programs or libraries written in Rust with other languages

circomlib

Library of basic circuits for circom

orderbook-rs

Basic order matching engine written in Rust

ciphercore

User-friendly secure computation engine based on secure multi-party computation

smart-wallet

workshop

📜 A Starter Guide to Build ZK Applications 📜

ursa

Hyperledger Ursa (a shared cryptographic library) has moved to end-of-life status, with the components of Ursa still in use moved to their relevant Hyperledger projects (AnonCreds, Indy, Aries and Iroha).

hacspec

Please see https://github.com/hacspec/hax

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

sonobe

Experimental folding schemes library

circom-pairing

plonkit

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

franklin-crypto

zk-eigentrust

EigenTrust - A distributed reputation system

libprio-rs

Implementation of Prio in Rust.

EthDataMarketplace

poseidon-tornado

arecibo

An advanced fork of Nova

zk-SaaS

zkSNARKs as a service using secure multi-party computation.

sui-zklogin-demo

eccons

elliptic curve construction tool

zklogin-verifier

anoncreds-clsignatures-rs

ecc-soroban

Elliptic curve cryptography on Soroban.

cryptography

cryptography primitives (secret sharing, secure channel) for implementing the DeRec protocol

mts

range-proof-benches

Benchmarking Range Proof Systems