Pinned Repositories
lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)
yatima
A zero-knowledge Lean4 compiler and kernel
yatima-lang-alpha
A programming language for the decentralized web
aptos-core
Arduino-Temperature-Sensor
Arduino Embedded Temperature System for Water Purifier Project
arecibo
bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson
ci-lab
Testing grounds for CI and GH Actions workflows
ci-workflows
GitHub Actions workflows and templates for use in Lurk repos
dotfiles
samuelburnham's Repositories
samuelburnham/aptos-core
samuelburnham/Arduino-Temperature-Sensor
Arduino Embedded Temperature System for Water Purifier Project
samuelburnham/arecibo
samuelburnham/bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson
samuelburnham/ci-lab
Testing grounds for CI and GH Actions workflows
samuelburnham/ci-workflows
GitHub Actions workflows and templates for use in Lurk repos
samuelburnham/dotfiles
samuelburnham/gh-actions-runner
Self-hosted runner for Lurk CI in Docker
samuelburnham/grumpkin-msm
samuelburnham/hello-ci
samuelburnham/lurk-rs
samuelburnham/neptune
Rust Poseidon implementation.
samuelburnham/Nova
Nova: Recursive SNARKs without trusted setup
samuelburnham/observatory-new
The new (and improved) RCOS website
samuelburnham/samuelburnham.github.io
Test website
samuelburnham/solidity-verifier
Solidity implementation of Nova proving system verifier
samuelburnham/sphinx
An observatory fork of SP1
samuelburnham/udp-sftp
samuelburnham/workspace-test
samuelburnham/zk-light-clients
A collection of ZK light client libraries for various blockchains.