Skip to content

@argumentcomputer Argument

Change the repository type filter

All

    Repositories list

    124 repositories

    • lurk

      Public
      Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
      Rust
      •
      MIT License
      •0•31•24•11•Updated Oct 8, 2024Oct 8, 2024

    • github-actions-runner-cuda

      Public
      Self-hosted GitHub Actions runners with a CUDA base image
      Shell
      •
      GNU General Public License v3.0
      •387•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • sphinx-contracts

      Public
      Solidity contracts for Sphinx (contact: @storojs72)
      Solidity
      •0•0•0•1•Updated Oct 8, 2024Oct 8, 2024

    • sphinx

      Public
      An observatory fork of SP1 (contact: @huitseeker)
      Rust
      •
      Apache License 2.0
      •4•39•20•11•Updated Oct 8, 2024Oct 8, 2024

    • zk-light-clients

      Public
      A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
      Rust
      •3•25•19•5•Updated Oct 8, 2024Oct 8, 2024

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs) (contact: @huitseeker)
      Rust
      •
      Apache License 2.0
      •172•3•0•0•Updated Oct 7, 2024Oct 7, 2024

    • LSpec

      Public
      A Testing Framework for Lean
      Lean
      •
      MIT License
      •7•42•3•1•Updated Oct 7, 2024Oct 7, 2024

    • bls12_381

      Public
      Implementation of the BLS12-381 pairing-friendly elliptic curve group
      Rust
      •
      Other
      •178•0•1•0•Updated Oct 4, 2024Oct 4, 2024

    • user-manual

      Public
      MIT License
      •3•2•0•0•Updated Oct 2, 2024Oct 2, 2024

    • lurk-beta

      Public
      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)
      programming-languagerustcryptographycompilerzero-knowledgezk-snarks
      Rust
      •
      Apache License 2.0
      •54•426•86•8•Updated Oct 1, 2024Oct 1, 2024

    • lurk-hs

      Public
      Haskell Wrappers for Lurk (contact: @huitseeker)
      Haskell
      •
      MIT License
      •3•1•4•0•Updated Sep 30, 2024Sep 30, 2024

    • bellpepper-gadgets

      Public
      A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
      Rust
      •
      Apache License 2.0
      •13•17•5•4•Updated Sep 30, 2024Sep 30, 2024

    • ci-workflows

      Public
      GitHub Actions workflows and templates for use in Lurk repos
      Rust
      •
      MIT License
      •3•0•11•3•Updated Sep 30, 2024Sep 30, 2024

    • RustCrypto-hashes

      Public
      Collection of cryptographic hash functions written in pure Rust
      Rust
      •247•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • ascent

      Public
      logic programming in Rust
      Rust
      •
      MIT License
      •16•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • neptune

      Public
      Rust Poseidon implementation (contact: @porcuquine)
      Rust
      •
      Other
      •98•274•7•3•Updated Sep 25, 2024Sep 25, 2024

    • Nova

      Public
      Nova: Recursive SNARKs without trusted setup
      Rust
      •
      MIT License
      •183•0•0•0•Updated Sep 6, 2024Sep 6, 2024

    • arecibo

      Public
      An advanced fork of Nova (contact:@huitseeker)
      cryptographynovar1cszero-knowledge
      Rust
      •
      MIT License
      •34•76•32•13•Updated Sep 6, 2024Sep 6, 2024

    • lurk-vscode

      Public
      Support for Lurk in the VS Code IDE
      TypeScript
      •
      MIT License
      •0•2•2•0•Updated Sep 4, 2024Sep 4, 2024

    • lurk-lisp

      Public
      Lisp implementation of Lurk.
      Common Lisp
      •
      MIT License
      •6•66•5•2•Updated Sep 4, 2024Sep 4, 2024

    • zkvm-benchmarks

      Public
      Rust
      •0•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • .github

      Public
      MIT License
      •0•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • ci-lab

      Public
      Testing grounds for CI and GH Actions workflows
      Rust
      •
      MIT License
      •1•0•0•1•Updated Aug 23, 2024Aug 23, 2024

    • bellpepper

      Public
      SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
      Rust
      •
      Other
      •17•67•9•0•Updated Aug 7, 2024Aug 7, 2024

    • awesome-folding

      Public
      A curated list of zero-knowledge folding schemes
      awesome-listzero-knowledgezk-snarks
      Creative Commons Zero v1.0 Universal
      •30•272•3•2•Updated Aug 6, 2024Aug 6, 2024

    • lurk-lab.com

      Public
      Lurk Lab Inc. website
      HTML
      •
      MIT License
      •0•1•0•0•Updated Aug 2, 2024Aug 2, 2024

    • aptos-core

      Public
      Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
      Rust
      •
      Other
      •3.6k•0•7•0•Updated Jun 19, 2024Jun 19, 2024

    • sp1

      Public
      A performant, 100% open-source, contributor-friendly zkVM.
      Rust
      •
      Apache License 2.0
      •289•0•0•0•Updated Jun 5, 2024Jun 5, 2024

    • rust-cache

      Public
      A GitHub Action that implements smart caching for rust/cargo projects
      TypeScript
      •
      GNU Lesser General Public License v3.0
      •106•0•0•0•Updated May 3, 2024May 3, 2024

    • ingonyama-grumpkin-msm

      Public
      Ingonyama's implementation of an MSM for the Grumpkin curve cycle
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated May 2, 2024May 2, 2024