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 arithmetic-circuits Public

    Haskell 2

  2. galois-fields galois-fields Public

    Haskell 1

  3. factors factors Public

    A demo application for zk-snarks in Haskell

    PureScript

  4. origami origami Public

    Haskell 1

  5. stalk stalk Public archive

    Compiling Haskell to Circuits via CCC

    Haskell 1

Repositories

Showing 10 of 17 repositories
  • arkworks-demo Public

    demonstrating compatibility with the arkworks toolchain

    l-adic/arkworks-demo’s past year of commit activity
    Rust 0 0 0 0 Updated Oct 18, 2024
  • factors Public

    A demo application for zk-snarks in Haskell

    l-adic/factors’s past year of commit activity
    PureScript 0 0 1 0 Updated Aug 2, 2024
  • circom_runtime Public Forked from iden3/circom_runtime

    circom runtime

    l-adic/circom_runtime’s past year of commit activity
    Assembly 0 Apache-2.0 17 0 0 Updated Aug 2, 2024
  • arithmetic-circuits Public
    l-adic/arithmetic-circuits’s past year of commit activity
    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.

    l-adic/circom-compat’s past year of commit activity
    Rust 0 Apache-2.0 121 0 0 Updated Jul 7, 2024
  • benchmarks Public
    l-adic/benchmarks’s past year of commit activity
    Python 0 0 0 0 Updated Jun 4, 2024
  • origami Public
    l-adic/origami’s past year of commit activity
    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

    l-adic/Nova-Scotia’s past year of commit activity
    JavaScript 0 MIT 50 0 0 Updated May 30, 2024
  • galois-fields Public
    l-adic/galois-fields’s past year of commit activity
    Haskell 1 MIT 0 0 0 Updated May 21, 2024
  • intern Public Forked from ekmett/intern

    Hash consing for arbitrary Haskell data types

    l-adic/intern’s past year of commit activity
    Haskell 0 8 0 0 Updated May 1, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…