Pinned Repositories
h26forge
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
atePairing-iPhone
The Ate Pairing for iOS
bp-go
Bulletproofs Implementation in Go
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
CircleSquareFuzzing
All the fuzzing material for the CircleSquare method
FacebookLoginExample
Android Code to showcase how to login into Facebook
h264-reader
Rust reader for H264 bitsream syntax
wasm_simd_c_examples
Basic examples of incorporating WASM SIMD into C
wrv.github.io
site
wrv's Repositories
wrv/bp-go
Bulletproofs Implementation in Go
wrv/wrv.github.io
site
wrv/atePairing-iPhone
The Ate Pairing for iOS
wrv/CircleSquareFuzzing
All the fuzzing material for the CircleSquare method
wrv/h264-reader
Rust reader for H264 bitsream syntax
wrv/wasm_simd_c_examples
Basic examples of incorporating WASM SIMD into C
wrv/CamDraw
An Android application that takes a picture, allows you to draw on it, and save it on the system. Very basic.
wrv/cbench
A benchmark for C program verification
wrv/fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
wrv/fyrebox
Encrypted file system
wrv/h26forge
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
wrv/iOS-eVote
Implementation of e-voting protocol for iOS
wrv/iOS-eVoteServer
The server component to test EVoting protocol
wrv/libfss
Library for performing Function Secret Sharing (FSS)
wrv/libwebp
Mirror only. Please do not send pull requests.
wrv/Lol
A library for ring-based lattice cryptography
wrv/md4c
C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.
wrv/mylar
Mylar - Transparent end-to-end encryption for Meteor JS
wrv/r1cs-tutorial
wrv/rav1e
The fastest and safest AV1 encoder.
wrv/rlbox
RLBox sandboxing framework
wrv/rlbox-book
wrv/rlbox_wasm2c_sandbox
wrv/rlwe_challenger
Code to mess around with the rlwe challenges, and try to solve them
wrv/simde
Implementations of SIMD instruction sets for systems which don't natively support them.
wrv/subspace
An experimental take on a safer, simpler C++ standard library.
wrv/wabt
The WebAssembly Binary Toolkit
wrv/wasm2c_sandbox_compiler
The WebAssembly Binary Toolkit
wrv/WebRCE
wrv/ZoKrates
A toolbox for zkSNARKS on Ethereum