Skip to content

@Tetration-Lab Tetration Lab

Change the repository type filter

All

    Repositories list

    24 repositories

    • solidity-ed-on-bn254

      Public
      Solidity implementation of a twisted Edwards curve on scalar field of BN254, also known as Baby-Jubjub.
      cryptographyethereumsmart-contractbn254babyjubjubsolidity
      Solidity
      •1•1•0•1•Updated Apr 30, 2024Apr 30, 2024

    • post-quantum-ethereum

      Public
      MIT License
      •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • dilithium-solidity

      Public
      Solidity
      •0•0•0•0•Updated Apr 24, 2024Apr 24, 2024

    • quasar

      Public
      Solidity
      •0•0•0•0•Updated Apr 21, 2024Apr 21, 2024

    • lamport-solidity

      Public
      Solidity
      •0•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • falcon-solidity

      Public
      Python
      •0•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • webtree

      Public
      Web Tree. a fully on chain game build at ETH global hack Istanbul
      Solidity
      •1•0•0•0•Updated Nov 19, 2023Nov 19, 2023

    • turing-zero

      Public
      Turing machine ZKVM
      Solidity
      •1•11•0•0•Updated Nov 12, 2023Nov 12, 2023

    • zkevmdotcodes

      Public
      Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
      TypeScript
      •
      MIT License
      •132•0•0•0•Updated Nov 12, 2023Nov 12, 2023

    • arkworks-phase2

      Public
      Arkworks implementation of Groth16's phase 2 CRS generation ceremony
      Rust
      •0•0•0•0•Updated Nov 10, 2023Nov 10, 2023

    • ztf

      Public
      On-chain ctf with claimable bounty using zero-knowledge proof.
      Solidity
      •
      Apache License 2.0
      •2•9•0•0•Updated Oct 26, 2023Oct 26, 2023

    • TFHECDSA

      Public
      Rust
      •0•0•0•0•Updated Sep 25, 2023Sep 25, 2023

    • night-market

      Public
      Multi-Asset Shielded Pools with external interaction and compliance features. Trade, LP, stake, and more privately while comply with regulators.
      Rust
      •0•0•0•0•Updated May 31, 2023May 31, 2023

    • 0xparadise

      Public
      TypeScript
      •0•0•0•0•Updated May 24, 2023May 24, 2023

    • 0xparadise-contracts

      Public
      Solidity
      •0•0•0•0•Updated May 23, 2023May 23, 2023

    • snark

      Public
      Interfaces for Relations and SNARKs for these relations
      Rust
      •
      Apache License 2.0
      •208•0•0•0•Updated May 12, 2023May 12, 2023

    • arcane-assembly-contract

      Public
      magic?
      Solidity
      •0•0•0•0•Updated May 9, 2023May 9, 2023

    • arkworks-zk-filter

      Public
      ZK filter is library for efficient and easy to use set exclusion zero knowledge proof.
      Rust
      •
      GNU Lesser General Public License v3.0
      •0•2•0•0•Updated Apr 29, 2023Apr 29, 2023

    • pychiquito

      Public
      python interface for chiquito ZKP DSL
      Python
      •0•4•0•0•Updated Apr 28, 2023Apr 28, 2023

    • arkworks-mimc

      Public
      Arkworks implementation of cryptographic hash function MiMC
      Rust
      •
      GNU Lesser General Public License v3.0
      •1•2•1•1•Updated Apr 25, 2023Apr 25, 2023

    • muddy-forest-x

      Public
      TypeScript
      •
      MIT License
      •2•4•0•0•Updated Apr 11, 2023Apr 11, 2023

    • collaborative-zksnark

      Public
      Prototype implementations of various Collaborative zkSNARKs.
      Rust
      •
      Other
      •41•0•0•0•Updated Feb 28, 2023Feb 28, 2023

    • arkworks-solidity-verifier

      Public
      Solidity SNARK verifier generator for Arkwork's proof systems.
      soliditymarlinzksnarkgroth16arkworksgm17cryptographyethereum
      Rust
      •
      GNU Lesser General Public License v3.0
      •0•6•0•1•Updated Feb 24, 2023Feb 24, 2023

    • docs

      Public
      Tetration Lab's related documents and papers
      0•1•0•0•Updated Feb 17, 2023Feb 17, 2023