Pinned Repositories
rust-fil-proofs
Proofs for Filecoin in Rust
lurk-lisp
Lisp implementation of Lurk.
lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
neptune
Rust Poseidon implementation.
Nova
Nova: High-speed recursive arguments from folding schemes
merkle_light
_merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memory layout
Nova
Nova: Recursive SNARKs without trusted setup
vdf
A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
porcuquine's Repositories
porcuquine/Nova
Nova: Recursive SNARKs without trusted setup
porcuquine/merkle_light
_merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memory layout
porcuquine/arecibo
porcuquine/bellman-examples
examples for bellman zk-snarks library
porcuquine/blstrs
porcuquine/bucklescript-build-issue
Example supporting https://github.com/BuckleScript/bucklescript/issues/2419
porcuquine/CFDPython
A sequence of IPython notebooks featuring the "12 Steps to Navier-Stokes" http://lorenabarba.com/
porcuquine/futhark
:boom::computer::boom: A data-parallel functional programming language
porcuquine/genfut
The main genfut
porcuquine/go-ipfs-cmds
IPFS commands package
porcuquine/lovr
Lua Virtual Reality Engine
porcuquine/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
porcuquine/neptune
Rust Poseidon implementation.
porcuquine/org-html-themes
How to export Org mode files into awesome HTML in 2 minutes
porcuquine/pasta_curves
Rust implementation for zcash/pasta
porcuquine/perpetualpowersoftau
porcuquine/porcuquine.github.io
porcuquine/rust-futhark
Testing rust for futhark ffi
porcuquine/sapling-crypto
Zcash "Sapling" cryptography
porcuquine/specs
The Filecoin protocol specification
porcuquine/versor
Versor Geometric Algebra Library