David Wong Claim this profile

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

The proof systems used by Mina

How to backdoor Diffie-Hellman

attacking RSA via lattice reductions (LLL)

a protocol to encrypt communications and a cryptographic library based on Disco

Need to encrypt a file before sending it to someone? This is it.

Implementation of KangarooTwelve in Go

No description.

A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519

Cargo dephell analyzes the third-party dependencies of a Rust workspace

Blogs about Cryptography/Security to follow

Timing Attack on TLS' ECDSA signature

An implementation of Noise in Go

Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5

The code is the spec

Node-webkit + Napster (stream music from Google)

a whiteboxed DES implementation based on Chow et al paper

using agents to monitor proving training and inference techniques

Readable Implementation of Strobe in Go

test your Diffie-Hellman parameters for safe primes and right sizes

implementation of the DES cipher in C

Auditing Applied Cryptography

Learn nix by example

a time tracker to avoid slacking (firefox plugin)

Format your damn OCaml code!

tournament script for many games (counter strike, warcraft, dota...)

Learn how to break block ciphers

stuff

An ocaml library to encode to and decode from hexadecimal strings

A program that parses OCaml errors to display them in a more readable format

Formal Verification of the Disco protocol using Tamarin

Implementation of the sum check protocol

Go Assembly by Example

Generate cryptographically-secure random numbers in OCaml

Bool as options in Golang

No description.

No description.

Read-only Telegram access for agents.

SPHINCS+ in Golanmg

mirror of https://github.com/jamesottaway/vscode-nix-develop

A threat model for democracies in general

siphash implementation in rust

No description.

No description.

Main public package repository for opam, the source package manager of OCaml.

No description.

zkSync: trustless scaling and privacy engine for Ethereum

Tech pants! 👖

No description.

Airdrop for the wongCoin

No description.

No description.

No description.

zkBitcoin: zero-knowledge proofs on Bitcoin!

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

Learn Ocaml by reading code examples

Github Action to run the MIRAI static analyzer on a rust codebase

No description.

A machine parsable conlang (constructed language)

A collection of awesome software, libraries, documents, books, resources and cools stuffs about security.

trying to write a trading interface for www.citymayor.co

No description.

bindings to the dalek suite of libraries

No description.

No description.

tool to find cryptography bugs in code

keccak bindings from rust to C

Wiki-like CTF write-ups repository, maintained by the community. 2016

displays an alert when visiting non-https webpages

groth16 proofs

Cryptographic protocol analysis for real-world protocols.

No description.

No description.

No description.

No description.

A game where people fight against time to find the shortest solution

No description.

No description.

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

Monorepo for pi packages: TUI library, agent framework, and pod management CLI

No description.

ZKsync protocol libraries

Build system optimized for JavaScript and TypeScript, written in Rust

No description.

This is only the beginning.

No description.

The "Yellow Paper": Ethereum's formal specification

No description.

zkSnark circuit compiler

This is a github action to run MIRAI on libra/libra pull requests

Rust Bitcoin library

A code playground for the Noname ZK programming language

Bridge from Mina to Ethereum

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

the Ethereum contracts for Starknet

Provides tools for testing circom circuits.

Interfaces for Relations and SNARKs for these relations

No description.

No description.

No description.

No description.

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

Rust implementation for zcash/pasta

Managing Rust dependencies via a dashboard

A Scalable, User-Friendly Source Control System.

No description.

The core OCaml system: compilers, runtime system, base libraries

Implementations of popular elliptic curves

Documentation of everything relevant in the OCaml world

Rust library for single assignment cells and lazy statics without macros

An adapter for enabling Rayon-based concurrency on the Web with WebAssembly.

A tool to create a weekly introspective feedback loop on your life

Configurable Asset Privacy for Ethereum

Rust implementation of badge generation

Libraries for finite field, elliptic curve, and polynomial arithmetic

Square's Bitcoin Cold Storage solution.

Implementation of KELP in Cairo

Serialization framework for Rust

No description.

Figure out your crypto name

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Personal website

No description.

No description.

A collection of awesome software, libraries, documents, books, resources and cools stuffs about security.

OSS-Fuzz - continuous fuzzing for open source software.

Custom de/serialization functions for Rust's serde using the with-annotation

OCaml extensions in Rust

package.json workflow for native development with Reason/OCaml

Tutorial for writing constraints in the `arkworks` framework

kubernetes client and futures controller runtime

OCaml virtual dependency to ensure that the host has Cargo with Rust 1.53.0 installed

repository for people to leave feedback for the book Real World Cryptography

OCaml DSL for verifiable computation

Streamlining the release of dune packages to opam

A composable build system for OCaml.

Ensure dune and opam dependencies are consistent

No description.

Versioning of types with bin_prot serialization

Exercises and projects for Jane Street's OCaml Workshop

A very simple Ethereum multi-signature wallet compatible with all ERC-20 tokens

🤖 The core logic behind Dependabot's update PR creation, and the public issue tracker for all things Dependabot

The Avalanche web wallet

No description.

Concrete Operates oN Ciphertexts Rapidly by Extending TfhE

Homebrew formula for the Eureka tool

Update dependencies

No description.

Tutorials for building modules for the Cosmos SDK

Parser for Rust source code

Crev proof repository

Code documentation written as code! How novel and totally my idea!

Track and query Cargo dependency graphs.

No description.

No description.

AWS SDK for Rust

No description.

An open source, online threat modelling tool from OWASP

Go implementation of the Noise Protocol Framework

No description.

Hypothesis-like property testing for Rust

An easily self hostable curation site for collecting blogs and links.

No description.

rust wrapper for rocksdb

The Rust package manager

A Rust implementation of the Noise Protocol Framework

No description.

No description.

Compile JSBI code that works in today’s environments to native BigInt code.

Noble ed25519. High-security, easily auditable, 0-dep, 1-file pubkey, scalarmult & EDDSA

No description.

A provably space-hard password hashing function.

Misuse-resistant symmetric encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support

Secure End-to-End Encrypted Messaging Application for Enterprises and Private Communities

TLS 1.3 implementation in C (master supports RFC8446 as well as draft-26, -27, -28)

GitBook theme for our own books

The Rust Programming Language

Implementation of NIST SP 800-185 in Go: cSHAKE

Lesson 1 Source

Signal Protocol library for JavaScript

Noise Specification

This is a mirror of http://strobe.sourceforge.io/

Tamarin prover manual: source files

A private messenger for iOS

TLS 1.3 Specification

No description.

No description.

A PHP Framework For Web Artisans

my blog in django

No description.