Tetration Lab

turing-zero

Turing machine ZKVM

ztf

On-chain ctf with claimable bounty using zero-knowledge proof.

arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems.

muddy-forest-x

pychiquito

python interface for chiquito ZKP DSL

arkworks-zk-filter

ZK filter is library for efficient and easy to use set exclusion zero knowledge proof.

docs

Tetration Lab's related documents and papers

solidity-ed-on-bn254

Solidity implementation of a twisted Edwards curve on scalar field of BN254, also known as Baby-Jubjub.

0xparadise

0xparadise-contracts

arkworks-mimc

Arkworks implementation of cryptographic hash function MiMC

arkworks-phase2

Arkworks implementation of Groth16's phase 2 CRS generation ceremony

lamport-solidity

night-market

Multi-Asset Shielded Pools with external interaction and compliance features. Trade, LP, stake, and more privately while comply with regulators.

post-quantum-ethereum

quasar

snark

Interfaces for Relations and SNARKs for these relations

webtree

Web Tree. a fully on chain game build at ETH global hack Istanbul

arcane-assembly-contract

magic?

collaborative-zksnark

Prototype implementations of various Collaborative zkSNARKs.

dilithium-solidity

falcon-solidity

TFHECDSA

zkevmdotcodes

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference