Jim Posen's repositories
quantum-css-codes
Software implementation of fault tolerant quantum computation using CSS codes
secret-sharing
Minimal web application for secret sharing
eth-staking
Ethereum 2.0 staking infrastructure & instructions
camkes-tool
The main CAmkES tool
configenv
Setup scripts and files to configured my preferred Linux environment on Ubuntu.
finality-grandpa
finality gadget for blockchains using common prefix agreement
jimpo.github.io
My JavaScript Playground
lcpc
polynomial commitments from linear codes
ledbetter-app
LEDBetter Lights web app
ledbetter-firmware
LEDBetter Lights Raspberry Pi Linux image
librustzcash
Rust-language assets for Zcash
manticore
Symbolic execution tool
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
rpi-ws281x-rust
Rust bindings to the ws821x library enabled by bindgen.
sel4-playground
Playing around with seL4 and CAmkES
simple-pi-os
Bare metal OS for Rasberry Pi A+
substrate
Substrate: The platform for blockchain innovators
wasm3
🚀 The fastest WebAssembly interpreter, and the most universal runtime
wasm3-rs
Rust wrapper for Wasm3, the fastest WebAssembly interpreter
winterfell
A STARK prover and verifier for arbitrary computations
zk-taxes
Library for generating and validating transaction for a ZCash-style ledger supporting aggregate income proofs