Skip to content

@TaceoLabs TaceoLabs

Change the repository type filter

All

    Repositories list

    26 repositories

    • docs

      Public
      TACEO Docs
      TypeScript
      •0•1•0•1•Updated Oct 14, 2024Oct 14, 2024

    • co-snarks

      Public
      Tooling for creating collaborative SNARKs for Circom circuits.
      Rust
      •
      Apache License 2.0
      •6•73•28•4•Updated Oct 14, 2024Oct 14, 2024

    • zksummit12_workshop

      Public
      Circom
      •
      MIT License
      •0•5•0•0•Updated Oct 7, 2024Oct 7, 2024

    • snarkjs

      Public
      zkSNARK implementation in JavaScript & WASM
      JavaScript
      •
      GNU General Public License v3.0
      •421•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • poseidon-rust

      Public
      Circom compatible Poseidon instances written in RUST
      Rust
      •
      MIT License
      •0•3•0•0•Updated Jul 22, 2024Jul 22, 2024

    • noir-poseidon

      Public
      Roff
      •
      MIT License
      •0•4•0•0•Updated Jul 17, 2024Jul 17, 2024

    • noir-GMiMC

      Public
      Roff
      •
      MIT License
      •1•8•0•0•Updated Jul 16, 2024Jul 16, 2024

    • noir-griffin

      Public
      Roff
      •
      MIT License
      •1•5•0•0•Updated Jul 16, 2024Jul 16, 2024

    • noir-hydra

      Public
      Roff
      •
      MIT License
      •0•3•0•0•Updated Jul 16, 2024Jul 16, 2024

    • circom

      Public
      zkSnark circuit compiler
      WebAssembly
      •
      GNU General Public License v3.0
      •253•0•0•0•Updated Jun 6, 2024Jun 6, 2024

    • zkllvm-blueprint

      Public
      Circuit components definition library for zkLLVM circuit compiler
      C++
      •
      MIT License
      •17•0•0•0•Updated May 28, 2024May 28, 2024

    • worldcoin-experiments

      Public
      Rust
      •0•3•0•8•Updated Apr 22, 2024Apr 22, 2024

    • zkllvm-mlir-assigner

      Public
      ReScript
      •1•3•0•0•Updated Feb 22, 2024Feb 22, 2024

    • onnx-mlir

      Public
      Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
      C++
      •
      Apache License 2.0
      •319•1•0•0•Updated Feb 16, 2024Feb 16, 2024

    • noir-examples

      Public
      Roff
      •0•1•1•0•Updated Feb 15, 2024Feb 15, 2024

    • zkllvm

      Public
      Zero-Knowledge Proof Systems Circuit Compiler
      C++
      •48•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • proof-producer

      Public
      Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/
      C++
      •6•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • zk-ml-dialect

      Public
      C
      •1•0•0•0•Updated Feb 1, 2024Feb 1, 2024

    • noir-crypto

      Public
      A collection of cryptographic building blocks, written in the Noir programming language
      MIT License
      •0•1•0•0•Updated Jan 22, 2024Jan 22, 2024

    • awesome-noir

      Public
      A curated list of awesome things related to learning and programming in Noir.
      Creative Commons Zero v1.0 Universal
      •62•0•0•0•Updated Jan 15, 2024Jan 15, 2024

    • noir-aes

      Public
      Roff
      •
      MIT License
      •0•1•1•0•Updated Dec 19, 2023Dec 19, 2023

    • zkllvm-assigner

      Public
      C++
      •
      MIT License
      •11•0•0•0•Updated Dec 18, 2023Dec 18, 2023

    • zkllvm-circifier

      Public
      Other
      •7•0•0•0•Updated Nov 21, 2023Nov 21, 2023

    • crypto3

      Public
      Modern Cryptography Suite in C++17
      CMake
      •
      MIT License
      •12•0•0•0•Updated Oct 6, 2023Oct 6, 2023

    • noir

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 16, 2023Aug 16, 2023

    • ff

      Public
      Traits and utilities for working with finite fields
      Rust
      •
      Apache License 2.0
      •103•0•0•0•Updated Oct 6, 2022Oct 6, 2022