Sword-Smith/rust-libp2p
The Rust Implementation of the libp2p networking stack.
Physicist by trade, programmer by occupation. I like compilers, cryptography, and crypto currencies.
The Rust Implementation of the libp2p networking stack.
nyks has copied the codebase of https://github.com/Neptune-Crypto/neptune-core and deleted the commit history. Search for "neptune" in this codebase to see the proofs.
Collection of economic resources introducing neoclassical and Austrian economics
This fork of Triton VM includes CUDA GPU acceleration for significantly faster proof generation
anonymous peer-to-peer cash
Neptune-related Futhark code
Sword — A financial derivative language for the blockchain
Experiments with GPU-acceleration of Triton VM
Our experiences following a recipe from a cookbook, originally intended to rate recipes in Claus Meyer's Almanak AKA "The Nordic Kitchen: One year of family cooking"
Compiler framework for ZK VMs
Use SHA-256 for cryptographically secure hashing
Implementing a compiler for the fuctional programming language fasto in Haskell
A reimplementation of LevelDB in Rust (no bindings).
A STARK prover and verifier for arbitrary computations
A small nodejs to play around with OpenAI's
Tutorial for STARKs with supporting code in python
Lightning Network Specifications
Diving notes
Check how a BIP9-like softfork signalling goes
Tezos library in TypeScript for serializing data structures to byte array
A template project for Rust
Tools to avoid having to work in the Geth console directly. Use the command line interface instead.
A cross platform, self-hosted server compatible with Bitpay API
.Net Standard 2.0 library for working with Tezos