Mike Turner

Developer friendly wrapper around the Signal Messenger protocol.

Document fingerprinting and verification on Ethereum

A Software Development Kit (SDK) for Zero-Knowledge Transactions

A Virtual Machine for Zero-Knowledge Executions

Visualizations of the concepts explained in proofs, arguments, and zero knowledge by Justin Thaler

A collection of accelerated cryptography operations that can be run on edge devices via wpgu

Onlyfans Data Analysis Functions

Zero knowledge authentication and information proving sandbox

OnlyFans Analytics Chrome Extension

Megachonky recipes for commonly encountered problems in the dev life

A novel cryptocurrency focused on privacy and accessibility.

Simple Question Generator

A chrome extension showing star history graph of github repository

Google Research

Creates Rust bindings that makes it easy to run GPU code

Zero-knowledge template library

No description.

Container for images on PRs

No description.

A Decentralized Operating System for ZK Applications

Notus React: Free Tailwind CSS UI Kit and Admin

A framework for interpreting and building decision logic on Zk Proof results

A SageMath implementation of the Varuna zkSNARK.

A Setup Ceremony for Universal SNARKs

A performant, 100% open-source, contributor-friendly zkVM.

Stratum V2 Specification

No description.

S3 Uploader Utility

Nova: Recursive SNARKs without trusted setup

Fuzzing cryptographic libraries. Magic bug printer go brrrr.

Zero-knowledge gaming toolkit using Leo-lang

No description.

Sample Implementation of a Merkle Tree

No description.

zkSNARK circuits for the Telepathy protocol

ZPrize 2022 - All qualified entries

Helpful LEO Language and ALEO instruction programs for managing life on the Aleo Network

An enterprise-class UI design language and React UI library

cargo, make me a project

Useful command line utilities for managing Aleo accounts and resources

Welcome to Aleo. Where Applications Become Zero-Knowledge

A Rust implementation of the Groth16 zkSNARK

R1CS constraints for bits, fields, and elliptic curves

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A Rust library for the Marlin preprocessing zkSNARK

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

Implementation of the BLS12-381 pairing-friendly elliptic curve group

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

The Stacks blockchain implementation

Overview of Bitcoin's Stacks layer.

Experimental zero-knowledge proof compiler in Rust macros

A pure-Rust implementation of Bulletproofs using Ristretto.

X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.

A pure-Rust implementation of group operations on Ristretto and Curve25519

Hashsignals Web

Enables a Forest of MobileCoin enabled SignalBots. Beta software, APIs may change!

Pure-Rust traits and utilities for constant-time cryptographic implementations.

Composable proof transcripts for public-coin arguments of knowledge

No description.

MobileCoin Improvement Proposals

HashWires is a range proof system for credentials issued by a trusted third party.

Private payments for mobile devices.

Config files for bash, vim, screen, etc.

No description.

mTLS the easy way - be the certificate authority you want to see in the world! key pinning for full-service.

🪐 End-to-end NLP workflows from prototype to production

Analyzing and making sense of the crypto market

No description.

Materials for Quantum Computing with Julia workshop at JuliaCon 2021

Useful differentiable programming recipes in Julia

A collection of useful .gitignore templates

Mapping a variable-length sentence to a fixed-length vector using BERT model

A collection of tools that interact with reddit's API providing moderator utilities, subreddit statistics, and keyword alerts.