wrv

bp-go

Bulletproofs Implementation in Go

wrv.github.io

site

atePairing-iPhone

The Ate Pairing for iOS

CircleSquareFuzzing

All the fuzzing material for the CircleSquare method

h264-reader

Rust reader for H264 bitsream syntax

wasm_simd_c_examples

Basic examples of incorporating WASM SIMD into C

CamDraw

An Android application that takes a picture, allows you to draw on it, and save it on the system. Very basic.

cbench

A benchmark for C program verification

FacebookLoginExample

Android Code to showcase how to login into Facebook

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fyrebox

Encrypted file system

iOS-eVote

Implementation of e-voting protocol for iOS

iOS-eVoteServer

The server component to test EVoting protocol

libfss

Library for performing Function Secret Sharing (FSS)

libwebp

Mirror only. Please do not send pull requests.

Lol

A library for ring-based lattice cryptography

md4c

C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.

mylar

Mylar - Transparent end-to-end encryption for Meteor JS

r1cs-tutorial

rav1e

The fastest and safest AV1 encoder.

rlbox

RLBox sandboxing framework

rlbox-book

rlbox_wasm2c_sandbox

rlwe_challenger

Code to mess around with the rlwe challenges, and try to solve them

simde

Implementations of SIMD instruction sets for systems which don't natively support them.

stormtest

Moar example code of Storm test stuff

subspace

An experimental take on a safer, simpler C++ standard library.

wabt

The WebAssembly Binary Toolkit

wasm2c_sandbox_compiler

The WebAssembly Binary Toolkit

ZoKrates

A toolbox for zkSNARKS on Ethereum