repos
85
ecosystems
18
languages
9
commits
4,135
─── top repos · by commits
─── repositories
85 totalProofs for Filecoin in Rust
Proofs for Filecoin in Rust
Proofs for Filecoin in Rust
Proofs for Filecoin in Rust
Rust Poseidon implementation.
↻Observe-Orient-Decide-Act↩
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
The Filecoin protocol specification
The Filecoin protocol specification
Rust Poseidon implementation.
Filecoin Parameter Calculations
Filecoin Full Node Implementation in Go
Lisp implementation of Lurk.
Filecoin research-development Cryptolab.
An advanced fork of Nova (contact:@huitseeker)
A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Rust interface to GPU implementation of Filecoin's Narrow Stacked Expander (NSE) sealing algorithm
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
zk-SNARK library
Shared Lurk source code, including tests and library code.
zk-SNARK library
zk-SNARK library
zk-SNARK library
Rust tools for OpenCL and GPU management.
zk-SNARK library
Nova: Recursive SNARKs without trusted setup
Nova: High-speed recursive arguments from folding schemes
Nova: Recursive SNARKs without trusted setup
zk-SNARK library
Rust tools for OpenCL and GPU management.
Nova: Recursive SNARKs without trusted setup
[Celer Fork] Nova: Recursive SNARKs without trusted setup
Nova: Recursive SNARKs without trusted setup
DEPRECATED Specification of builtin actors, in the form of executable code.
Specification of builtin actors, in the form of executable code.
Specification of builtin actors, in the form of executable code.
Specification of builtin actors, in the form of executable code.
Home for Filecoin Research
Loam is the Lurk Ontological Abstract Machine. (contact: @porcuquine)
Tools for developing Lurk on the web
Zcash "Sapling" cryptography
Examples of Mastermind implemented in different ZK languages and frameworks.
Pairing-friendly elliptic curve library
Filecoin consensus work
An observatory fork of SP1
Rust IPLD library
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
_merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memory layout
A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
Rust implementation for zcash/pasta
Rust implementation for zcash/pasta
Rust implementation for zcash/pasta
Rust implementation for zcash/pasta
Rust implementation for zcash/pasta
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
_merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memory layout
Cuda/OpenCL code generator for finite-field arithmetic over arbitrary prime fields
─── peer developers
─── ecosystems
─── languages
- Rust53
- Go11
- Common Lisp3
- SCSS1
- Jupyter Notebook1
- HTML1
- JavaScript1
- Standard ML1
- Python1
─── subscriber view
Unlock the full view of porcuquine
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.