Skip to content

@l-adic ℓ-adic

Change the repository type filter

All

    Repositories list

    17 repositories

    • arkworks-demo

      Public
      demonstrating compatibility with the arkworks toolchain
      Rust
      •0•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • factors

      Public
      A demo application for zk-snarks in Haskell
      haskellzk-snarks
      PureScript
      •0•0•1•0•Updated Aug 2, 2024Aug 2, 2024

    • circom_runtime

      Public
      circom runtime
      Assembly
      •
      Apache License 2.0
      •18•0•0•0•Updated Aug 2, 2024Aug 2, 2024

    • arithmetic-circuits

      Public
      Haskell
      •
      MIT License
      •0•2•1•0•Updated Jul 7, 2024Jul 7, 2024

    • circom-compat

      Public
      Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
      Rust
      •
      Apache License 2.0
      •114•0•0•0•Updated Jul 7, 2024Jul 7, 2024

    • benchmarks

      Public
      Python
      •0•0•0•0•Updated Jun 4, 2024Jun 4, 2024

    • origami

      Public
      Haskell
      •0•1•0•0•Updated Jun 2, 2024Jun 2, 2024

    • Nova-Scotia

      Public
      Middleware to compile Circom circuits to Nova prover
      JavaScript
      •
      MIT License
      •50•0•0•0•Updated May 30, 2024May 30, 2024

    • galois-fields

      Public
      Haskell
      •
      MIT License
      •0•1•0•0•Updated May 21, 2024May 21, 2024

    • intern

      Public
      Hash consing for arbitrary Haskell data types
      Haskell
      •
      Other
      •9•0•0•0•Updated May 1, 2024May 1, 2024

    • purescript-node-buffer

      Public
      Type declarations for Node's Buffer class
      PureScript
      •
      MIT License
      •19•0•0•0•Updated Apr 20, 2024Apr 20, 2024

    • snarkjs

      Public
      zkSNARK implementation in JavaScript & WASM
      JavaScript
      •
      GNU General Public License v3.0
      •425•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • .github

      Public
      0•0•0•0•Updated Feb 24, 2024Feb 24, 2024

    • snarkl

      Public archive
      An embedded DSL for verifiable computation
      Haskell
      •
      Other
      •0•4•2•1•Updated Jan 31, 2024Jan 31, 2024

    • stalk

      Public archive
      Compiling Haskell to Circuits via CCC
      Haskell
      •0•1•1•0•Updated Jan 29, 2024Jan 29, 2024

    • purescript-zk

      Public
      Verifying via Groth16 on Ethereum
      PureScript
      •0•2•0•0•Updated Jan 25, 2024Jan 25, 2024

    • arkworks-bridge

      Public
      Easily import your data into arkworks for proving
      Rust
      •0•0•0•0•Updated Jan 25, 2024Jan 25, 2024