Rami's repositories
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.
ranc-mdp-analysis
Khalil, R. and Dulay, N. 2022. 37th ACM/SIGAPP Symposium on Applied Computing. RANC: Reward-All Nakamoto Consensus.
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning zero knowledge proofs
bitcoinThroughputAnalysis
Analysis of Bitcoin's current and future transaction throughput bottlenecks.
engineeringladders
A framework for Engineering Managers
ethereum-vpm
R0-Based Ethereum verification & proving module
ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
foundations-of-information
A book to support the INFO 200 Intellectual Foundations of Information course.
genSTARK.demo
Examples of using genSTARK library
rapidsnark
fast zksnark prover
reinforcement-learning
Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
revm
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
risc0-rust-examples
Rust examples for RISC Zero
rust-by-practice
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev with challenging examples, exercises and projects.
rust-libp2p
The Rust Implementation of the libp2p networking stack.
sphincsplus
The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
wasm-service
HTMX, WebAssembly, Rust, ServiceWorkers
wasm_terminal_2048
2048 webassembly implementation in Rust that can be run on browser or command line terminal
winterfell
A STARK prover and verifier for arbitrary computations