hadasz

fourq_rust

ipp-crypto

constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

FinRL

FinRL: Financial Reinforcement Learning. 🔥

igsm

Integrated Global System Model

avalon

Hyperledger Avalon enables privacy in blockchain transactions, moving intensive processing from a main blockchain to improve scalability and latency, and to support attested Oracles

haskell-DBFunctor

Functional Data Management (Type Safe ETL / ELT in Haskell)

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

supercop

Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"

haskell-saucy

Super Amazing Universal Composability, Yeah!

verse-coq

VERified asSembler for cryptographic primitives

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

scuttlebutt-akka-persistence

A akka persistence backend for scuttlebutt

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

libSTARK

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

fevm

Formalization of EVM in Coq

Fae

A functional smart contract system

web3studio-bootleg

The Shared Royalty Non-Fungible Token (a.k.a Bootleg) is an open source project started by the ConsenSys Web3Studio team. The purpose of the Shared Royalty Non-Fungible Token (SRNFT) is to make any royalty business model, from the oil and gas industry to entertainment, easy to manage with the Ethereum blockchain .

serverless-haskell

Deploying Haskell applications to AWS Lambda with Serverless

react-native-sssa

Shamir's secret sharing algorithm for react-native

opensgx

OpenSGX

snarkjs

zkSNARK implementation in JavaScript & WASM

circom_old

Circuit compiler for zkSNARKs