Skip to content
@lightec-xyz

Lightec Ltd

opZKP & zkBTC
README.md

Lightec

We are developers focused on Zero Knowledge Proof for Bitcoin and Ethereum. We are currently developing zkBTC, which is a ZKP-based bridge from Bitcoin to Ethereum. We also proposed opZKP upgrade to Bitcoin, and this proposal is still under development.

Follow us and stay tune.

Popular repositories Loading

  1. bls-verify-gadget bls-verify-gadget Public

    Lightec's implementation of BLS signature verification over BLS12-381, in ZKP based on arkworks.

    Rust 1 1

  2. r1cs-tutorial r1cs-tutorial Public archive

    Forked from arkworks-rs/r1cs-tutorial

    Tutorial for writing constraints in the `arkworks` framework

    Rust

  3. crypto-primitives crypto-primitives Public archive

    Forked from arkworks-rs/crypto-primitives

    Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

    Rust

  4. algebra algebra Public archive

    Forked from arkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    Rust

  5. poly-commit poly-commit Public archive

    Forked from arkworks-rs/poly-commit

    A Rust library for polynomial commitments

    Rust

  6. marlin marlin Public archive

    Forked from arkworks-rs/marlin

    A Rust library for the Marlin preprocessing zkSNARK

    Rust

Repositories

Showing 10 of 17 repositories
  • chainark Public

    a ZKP library to prove a chain of any given relationship, block chain, signature chain, etc.

    lightec-xyz/chainark’s past year of commit activity
    Go 0 Apache-2.0 0 3 (3 issues need help) 1 Updated Nov 15, 2024
  • common Public
    lightec-xyz/common’s past year of commit activity
    Go 0 MIT 0 0 0 Updated Nov 15, 2024
  • agent-go Public Forked from aviate-labs/agent-go

    Golang Agent for the Internet Computer

    lightec-xyz/agent-go’s past year of commit activity
    Go 0 Apache-2.0 14 0 0 Updated Nov 12, 2024
  • gnark Public Forked from Consensys/gnark

    gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

    lightec-xyz/gnark’s past year of commit activity
    Go 0 Apache-2.0 388 0 0 Updated Oct 24, 2024
  • plonk_verifier_on_icp Public
    lightec-xyz/plonk_verifier_on_icp’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Oct 14, 2024
  • awesome-internet-computer Public Forked from dfinity/awesome-internet-computer

    A curated list of awesome projects and resources relating to the Internet Computer Protocol

    lightec-xyz/awesome-internet-computer’s past year of commit activity
    0 CC0-1.0 182 0 0 Updated Oct 9, 2024
  • gnark-crypto Public Forked from Consensys/gnark-crypto

    gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

    lightec-xyz/gnark-crypto’s past year of commit activity
    Go 0 Apache-2.0 179 0 0 Updated Sep 27, 2024
  • zkbtc-testnet-wallet Public

    The zkBTC testnet wallet - a chrome plugin wallet that supports the Bitcoin test network and the Ethereum Test network

    lightec-xyz/zkbtc-testnet-wallet’s past year of commit activity
    JavaScript 0 0 0 0 Updated Aug 12, 2024
  • icpCanister Public
    lightec-xyz/icpCanister’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Jul 17, 2024
  • .github Public
    lightec-xyz/.github’s past year of commit activity
    0 0 0 0 Updated Feb 28, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…