Pinned Repositories
arecibo
An advanced fork of Nova (contact:@huitseeker)
awesome-folding
A curated list of zero-knowledge folding schemes
bellpepper
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
LSpec
A Testing Framework for Lean
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)
lurk-lisp
Lisp implementation of Lurk.
neptune
Rust Poseidon implementation (contact: @porcuquine)
solidity-verifier
Solidity implementation of Nova proving system verifier
yatima
A zero-knowledge Lean4 compiler and kernel
yatima-lang-alpha
A programming language for the decentralized web
Argument's Repositories
argumentcomputer/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)
argumentcomputer/neptune
Rust Poseidon implementation (contact: @porcuquine)
argumentcomputer/awesome-folding
A curated list of zero-knowledge folding schemes
argumentcomputer/arecibo
An advanced fork of Nova (contact:@huitseeker)
argumentcomputer/bellpepper
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
argumentcomputer/solidity-verifier
Solidity implementation of Nova proving system verifier
argumentcomputer/LSpec
A Testing Framework for Lean
argumentcomputer/sphinx
An observatory fork of SP1 (contact: @huitseeker)
argumentcomputer/zk-light-clients
A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
argumentcomputer/bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson
argumentcomputer/lurk
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
argumentcomputer/Plonky3
A toolkit for polynomial IOPs (PIOPs)
argumentcomputer/lurk-lab.com
Lurk Lab Inc. website
argumentcomputer/user-manual
argumentcomputer/.github
argumentcomputer/aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
argumentcomputer/ascent
logic programming in Rust
argumentcomputer/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
argumentcomputer/ci-lab
Testing grounds for CI and GH Actions workflows
argumentcomputer/ci-workflows
GitHub Actions workflows and templates for use in Lurk repos
argumentcomputer/github-actions-runner-cuda
Self-hosted GitHub Actions runners with a CUDA base image
argumentcomputer/ingonyama-grumpkin-msm
Ingonyama's implementation of an MSM for the Grumpkin curve cycle
argumentcomputer/lurk-hs
Haskell Wrappers for Lurk
argumentcomputer/Nova
Nova: Recursive SNARKs without trusted setup
argumentcomputer/rust-cache
A GitHub Action that implements smart caching for rust/cargo projects
argumentcomputer/RustCrypto-hashes
Collection of cryptographic hash functions written in pure Rust
argumentcomputer/sp1
A performant, 100% open-source, contributor-friendly zkVM.
argumentcomputer/sphinx-contracts
Solidity contracts for Sphinx
argumentcomputer/sppark
Zero-knowledge template library
argumentcomputer/zkvm-benchmarks