Skip to content
@l-adic

ℓ-adic

README.md

ℓ-adic

ℓ-adic is building novel methods for zero-knowledge computing through the application of mathematics, programming language theory, and rigorous software engineering.

We apply advanced methods in functional programming to compile langauges like Haskell to arithmetic constraint representations. We are targeting modern proving protocols as well as established Ethereum compatible protocols.

Spec(Z[x])

Pinned Loading

  1. arithmetic-circuits Public

    Haskell 2

  2. galois-fields Public

    Haskell 1

  3. factors Public

    A demo application for zk-snarks in Haskell

    PureScript

  4. origami Public

    Haskell 1

  5. stalk Public archive

    Compiling Haskell to Circuits via CCC

    Haskell 1

Repositories

Showing 10 of 18 repositories
  • ttc Public

    Top Trading Cycle

    Rust 0 0 0 0 Updated Mar 31, 2025
  • arkworks-demo Public

    demonstrating compatibility with the arkworks toolchain

    Rust 0 0 0 0 Updated Oct 18, 2024
  • factors Public

    A demo application for zk-snarks in Haskell

    PureScript 0 0 1 0 Updated Aug 2, 2024
  • circom_runtime Public Forked from iden3/circom_runtime

    circom runtime

    Assembly 0 Apache-2.0 16 0 0 Updated Aug 2, 2024
  • arithmetic-circuits Public
    Haskell 2 MIT 0 1 0 Updated Jul 7, 2024
  • circom-compat Public Forked from arkworks-rs/circom-compat

    Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

    Rust 0 Apache-2.0 127 0 0 Updated Jul 7, 2024
  • benchmarks Public
    Python 0 0 0 0 Updated Jun 4, 2024
  • origami Public
    Haskell 1 0 0 0 Updated Jun 2, 2024
  • Nova-Scotia Public Forked from nalinbhardwaj/Nova-Scotia

    Middleware to compile Circom circuits to Nova prover

    JavaScript 0 MIT 52 0 0 Updated May 30, 2024
  • galois-fields Public
    Haskell 1 MIT 0 0 0 Updated May 21, 2024
View all repositories