Pinned Repositories
arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
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
muddy-forest-x
post-quantum-ethereum
pychiquito
python interface for chiquito ZKP DSL
quasar
solidity-ed-on-bn254
Solidity implementation of a twisted Edwards curve on scalar field of BN254, also known as Baby-Jubjub.
turing-zero
Turing machine ZKVM
ztf
On-chain ctf with claimable bounty using zero-knowledge proof.
Tetration Lab's Repositories
Tetration-Lab/turing-zero
Turing machine ZKVM
Tetration-Lab/ztf
On-chain ctf with claimable bounty using zero-knowledge proof.
Tetration-Lab/arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
Tetration-Lab/muddy-forest-x
Tetration-Lab/pychiquito
python interface for chiquito ZKP DSL
Tetration-Lab/arkworks-zk-filter
ZK filter is library for efficient and easy to use set exclusion zero knowledge proof.
Tetration-Lab/docs
Tetration Lab's related documents and papers
Tetration-Lab/solidity-ed-on-bn254
Solidity implementation of a twisted Edwards curve on scalar field of BN254, also known as Baby-Jubjub.
Tetration-Lab/0xparadise
Tetration-Lab/0xparadise-contracts
Tetration-Lab/arkworks-mimc
Arkworks implementation of cryptographic hash function MiMC
Tetration-Lab/arkworks-phase2
Arkworks implementation of Groth16's phase 2 CRS generation ceremony
Tetration-Lab/lamport-solidity
Tetration-Lab/night-market
Multi-Asset Shielded Pools with external interaction and compliance features. Trade, LP, stake, and more privately while comply with regulators.
Tetration-Lab/post-quantum-ethereum
Tetration-Lab/quasar
Tetration-Lab/snark
Interfaces for Relations and SNARKs for these relations
Tetration-Lab/webtree
Web Tree. a fully on chain game build at ETH global hack Istanbul
Tetration-Lab/arcane-assembly-contract
magic?
Tetration-Lab/collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
Tetration-Lab/dilithium-solidity
Tetration-Lab/falcon-solidity
Tetration-Lab/TFHECDSA
Tetration-Lab/zkevmdotcodes
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference