Skip to content

@argumentcomputer Argument

Change the repository type filter

All

    Repositories list

    82 repositories

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •234•3•0•0•Updated Jan 31, 2025Jan 31, 2025

    • LSpec

      Public
      A Testing Framework for Lean
      Lean
      •
      MIT License
      •8•48•4•1•Updated Jan 31, 2025Jan 31, 2025

    • binius

      Public
      A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
      Rust
      •
      Apache License 2.0
      •14•0•0•1•Updated Jan 31, 2025Jan 31, 2025

    • github-actions-runner-cuda

      Public
      Self-hosted GitHub Actions runners with a CUDA base image
      Shell
      •
      GNU General Public License v3.0
      •405•0•0•0•Updated Jan 24, 2025Jan 24, 2025

    • sphinx

      Public
      An observatory fork of SP1
      Rust
      •
      Apache License 2.0
      •6•60•19•7•Updated Jan 18, 2025Jan 18, 2025

    • ci-workflows

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

    • neptune

      Public
      Rust Poseidon implementation (contact: @porcuquine)
      Rust
      •
      Other
      •101•300•9•3•Updated Dec 4, 2024Dec 4, 2024

    • ci-lab

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

    • zk-light-clients

      Public
      A collection of ZK light client libraries for various blockchains
      Rust
      •6•47•20•5•Updated Dec 4, 2024Dec 4, 2024

    • yatima

      Public
      A zero-knowledge Lean4 compiler and kernel
      Lean
      •
      MIT License
      •10•127•11•4•Updated Nov 7, 2024Nov 7, 2024

    • Lurk.lean

      Public
      A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
      Lean
      •
      MIT License
      •2•8•2•0•Updated Nov 7, 2024Nov 7, 2024

    • Poseidon.lean

      Public
      A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
      Lean
      •
      MIT License
      •0•8•3•0•Updated Nov 7, 2024Nov 7, 2024

    • lurk-hs

      Public
      Haskell Wrappers for Lurk
      Haskell
      •
      MIT License
      •3•2•2•0•Updated Oct 29, 2024Oct 29, 2024

    • sphinx-contracts

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

    • bls12_381

      Public
      Implementation of the BLS12-381 pairing-friendly elliptic curve group. This repository maintains a branch used in ZK-proving (contact: @wwared)
      Rust
      •
      Other
      •184•0•1•0•Updated Oct 28, 2024Oct 28, 2024

    • YatimaStdLib.lean

      Public
      Lean
      •
      MIT License
      •7•8•1•1•Updated Oct 21, 2024Oct 21, 2024

    • LightData

      Public
      A lightweight serialization format
      Lean
      •
      MIT License
      •1•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • sp1

      Public
      A performant, 100% open-source, contributor-friendly zkVM.
      Rust
      •
      Apache License 2.0
      •411•0•0•0•Updated Oct 13, 2024Oct 13, 2024

    • RustCrypto-hashes

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

    • .github

      Public
      MIT License
      •0•0•0•0•Updated Sep 3, 2024Sep 3, 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.7k•0•7•0•Updated Jun 19, 2024Jun 19, 2024

    • rust-cache

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

    • lean2zkvm

      Public
      Tool for compiling Lean to Risc-V and WASM for zkVMs
      Lean
      •
      MIT License
      •3•0•0•0•Updated Mar 4, 2024Mar 4, 2024

    • Cli.lean

      Public
      A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
      Lean
      •
      MIT License
      •15•2•0•0•Updated Feb 19, 2024Feb 19, 2024

    • template-rust-lib

      Public template
      Base template for a Rust library crate with CI, config files, and branch protection
      Rust
      •
      Apache License 2.0
      •0•0•1•0•Updated Feb 16, 2024Feb 16, 2024

    • RustFFI.lean

      Public
      Template for Lean<->Rust FFI
      Lean
      •
      MIT License
      •1•11•1•2•Updated Feb 11, 2024Feb 11, 2024

    • sp-sized-chunks

      Public archive
      Fixed length array types for `no_std` use within Substrate
      Rust
      •
      Mozilla Public License 2.0
      •0•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • gh-actions-runner

      Public
      Self-hosted runner for Lurk CI in Docker
      Shell
      •
      Apache License 2.0
      •2•2•0•0•Updated Jan 26, 2024Jan 26, 2024

    • Megaparsec.lean

      Public
      Lean 4 port of Megaparsec
      Lean
      •
      MIT License
      •6•24•8•2•Updated Jan 11, 2024Jan 11, 2024

    • straume

      Public
      State-of-the-art streams for Lean 4
      Lean
      •
      MIT License
      •4•5•3•1•Updated Dec 25, 2023Dec 25, 2023