Tetration Lab's repositories
turing-zero
Turing machine ZKVM
arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
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.
solidity-ed-on-bn254
Solidity implementation of a twisted Edwards curve on scalar field of BN254, also known as Baby-Jubjub.
arkworks-mimc
Arkworks implementation of cryptographic hash function MiMC
arkworks-phase2
Arkworks implementation of Groth16's phase 2 CRS generation ceremony
night-market
Multi-Asset Shielded Pools with external interaction and compliance features. Trade, LP, stake, and more privately while comply with regulators.
arcane-assembly-contract
magic?
collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
zkevmdotcodes
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference