Pinned Repositories
0xProjectVDF1024
Updates for 1024 bits
adaptive-dispute-cutoffs
Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer-two dispute cutoffs in smart-contract blockchains.
advanced-systems-lab-16
AirAssembly
Low-level language for encoding AIR of computations
AirScript
Scripting language for defining zk-STARKs
clpfd-meal-workout-planner
Constraint Programming
nocust-contracts-solidity
NOCUST single commit chain verifier implemented in solidity
ranc-mdp-analysis
Khalil, R. and Dulay, N. 2022. 37th ACM/SIGAPP Symposium on Applied Computing. RANC: Reward-All Nakamoto Consensus.
revive
Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Networks.
hashcashier's Repositories
hashcashier/adaptive-dispute-cutoffs
Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer-two dispute cutoffs in smart-contract blockchains.
hashcashier/ranc-mdp-analysis
Khalil, R. and Dulay, N. 2022. 37th ACM/SIGAPP Symposium on Applied Computing. RANC: Reward-All Nakamoto Consensus.
hashcashier/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
hashcashier/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning zero knowledge proofs
hashcashier/bitcoinThroughputAnalysis
Analysis of Bitcoin's current and future transaction throughput bottlenecks.
hashcashier/c-kzg-risczero
Minimal 4844 version of c-kzg
hashcashier/cairo-lang
hashcashier/engineeringladders
A framework for Engineering Managers
hashcashier/ethereum-vpm
R0-Based Ethereum verification & proving module
hashcashier/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
hashcashier/ethSTARK
hashcashier/foundations-of-information
A book to support the INFO 200 Intellectual Foundations of Information course.
hashcashier/kona
A suite of `no_std` components for the OP Stack state transition function.
hashcashier/optimism-package
A kurtosis package for deploying an optimistic rollup
hashcashier/pazk
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
hashcashier/pianist-gnark
The implementation of Pianist (a distributed variant of Plonk) based on gnark.
hashcashier/py-ipv8
Python implementation of the IPv8 layer
hashcashier/RandomX
Proof of work algorithm based on random code execution
hashcashier/rapidsnark
fast zksnark prover
hashcashier/revm
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
hashcashier/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
hashcashier/risc0-playground
hashcashier/risc0-rust-examples
Rust examples for RISC Zero
hashcashier/rust-by-practice
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev with challenging examples, exercises and projects.
hashcashier/rust-libp2p
The Rust Implementation of the libp2p networking stack.
hashcashier/wasm-service
HTMX, WebAssembly, Rust, ServiceWorkers
hashcashier/wasm_terminal_2048
2048 webassembly implementation in Rust that can be run on browser or command line terminal
hashcashier/winterfell
A STARK prover and verifier for arbitrary computations
hashcashier/zirgen
Zirgen compiler and RISC Zero circuits
hashcashier/zkRiscV
A Risc-V CPU implemented as a zk-SNARK