tig-foundation/tig-monorepo

TIG is the first coordination protocol designed specifically for algorithmic breakthroughs

Rust

130

931 commits

updated Sep 22, 2026

See the code

README

TIG logo
The Innovation Game
The Network for Algorithmic Breakthroughs

Rust License Docs Whitepaper Play Discord X

The Innovation Game (TIG) creates a new economic framework for algorithmic development - one that aligns incentives, rewards contribution, and keeps innovation open.

At its core, TIG uses a novel proof-of-work variant built around computational challenges grounded in scientifically important problems. Innovators submit algorithms that solve these challenges, and benchmarkers are incentivized to adopt the most efficient ones for proof-of-work, creating a manipulation-resistant signal for rewarding the top-performing algorithms.

In this way, TIG democratizes algorithmic innovation, turning contribution into a sustainable economic opportunity, coordinating global intelligence to compete with centralized incumbents.

Challenges

TIG currently has 8 active computational challenges:

IDChallengeDescriptionCPU/GPU
c001satisfiabilityBoolean Satisfiability (SAT)CPU
c002vehicle_routingCapacitated Vehicle Routing with Time WindowsCPU
c003knapsackQuadratic Knapsack ProblemCPU
c004vector_searchVector Range SearchGPU
c005hypergraphHypergraph PartitioningGPU
c006neuralnet_optimizerNeural Network OptimizerGPU
c007job_schedulingFlexible Job Shop SchedulingCPU
c008energy_arbitrageEnergy Market ArbitrageCPU

Glossary

TermDefinition
InnovatorParticipant who submits algorithms (code or advances) to solve challenges
BenchmarkerParticipant who runs algorithm benchmarks and submits proofs
ChallengeA computational problem adapted for optimisable proof-of-work
CodeAn algorithm source code submission by an Innovator
AdvanceAn algorithm improvement submission (documentation/paper) by an Innovator
FuelComputational cost metric — algorithms must solve within a fuel budget
OPoWOptimisable Proof of Work — TIG's core consensus mechanism
NonceInput seed for a single benchmark run
Runtime SignatureHash produced during algorithm execution, used for verification
BinaryA compiled shared object (.so) built from an algorithm submission

Repo Contents

CrateDescription
tig-algorithmsHosts algorithm submissions (code and advances) made by Innovators
tig-benchmarkerPython scripts for running TIG's benchmarker in master/slave configuration
tig-binaryWraps an algorithm submission for compilation into a shared object
tig-challengesImplementations of TIG's 8 computational challenges
tig-protocolCore protocol logic (block processing, submissions, verification)
tig-runtimeExecutes a compiled algorithm for a single nonce, generating runtime signature and fuel consumed
tig-structsShared struct definitions used throughout TIG
tig-tokenSolidity ERC20 token contract deployed on Ethereum L2 Base chain
tig-utilsUtility functions (hashing, Merkle trees, serialization, etc.)
tig-verifierVerifies a single solution or Merkle proof

Docker Images

TIG Docker images are hosted on GitHub Packages, supporting linux/arm64 and linux/amd64 platforms.

Note: Check tig-benchmarker/.env for the current VERSION (currently 0.0.5).

Dev Images (for Innovators)

Development environment for writing and compiling algorithms:

ChallengeImage
satisfiabilitysatisfiability/dev
vehicle_routingvehicle_routing/dev
knapsackknapsack/dev
vector_searchvector_search/dev
hypergraphhypergraph/dev
neuralnet_optimizerneuralnet_optimizer/dev
job_schedulingjob_scheduling/dev
energy_arbitrageenergy_arbitrage/dev

Slave Images (for Benchmarkers)

Runtime images spun up as part of slave.yml (see benchmarker README):

ComponentImage
Slave orchestratorbenchmarker/slave
satisfiabilitysatisfiability/runtime
vehicle_routingvehicle_routing/runtime
knapsackknapsack/runtime
vector_searchvector_search/runtime
hypergraphhypergraph/runtime
neuralnet_optimizerneuralnet_optimizer/runtime
job_schedulingjob_scheduling/runtime
energy_arbitrageenergy_arbitrage/runtime

Master Images (for Benchmarkers)

Spun up as part of master.yml (see benchmarker README):

ComponentImage
Master orchestratorbenchmarker/master
Dashboard UIbenchmarker/ui
PostgreSQLbenchmarker/postgres
Nginx reverse proxybenchmarker/nginx

Useful Scripts

The runtime and dev images include these scripts on PATH:

list_algorithms                              # List available algorithms for the challenge
download_algorithm <algorithm_name_or_id>    # Download an algorithm's source
test_algorithm <algorithm_name> <difficulty>  # Test an algorithm locally

The container automatically sets the CHALLENGE environment variable (e.g. knapsack/runtime sets CHALLENGE=knapsack). Use --testnet to target testnet.

License

See README for individual folders.

Contributors

FiveMovesAhead

905 commits

germ3n

10 commits

vstam1

6 commits

maks242

4 commits

tig-foundation/tig-monorepo

TIG is the first coordination protocol designed specifically for algorithmic breakthroughs

Rust

130

931 commits

updated Sep 22, 2026

See the code

README

TIG logo
The Innovation Game
The Network for Algorithmic Breakthroughs

Rust License Docs Whitepaper Play Discord X

The Innovation Game (TIG) creates a new economic framework for algorithmic development - one that aligns incentives, rewards contribution, and keeps innovation open.

At its core, TIG uses a novel proof-of-work variant built around computational challenges grounded in scientifically important problems. Innovators submit algorithms that solve these challenges, and benchmarkers are incentivized to adopt the most efficient ones for proof-of-work, creating a manipulation-resistant signal for rewarding the top-performing algorithms.

In this way, TIG democratizes algorithmic innovation, turning contribution into a sustainable economic opportunity, coordinating global intelligence to compete with centralized incumbents.

Challenges

TIG currently has 8 active computational challenges:

IDChallengeDescriptionCPU/GPU
c001satisfiabilityBoolean Satisfiability (SAT)CPU
c002vehicle_routingCapacitated Vehicle Routing with Time WindowsCPU
c003knapsackQuadratic Knapsack ProblemCPU
c004vector_searchVector Range SearchGPU
c005hypergraphHypergraph PartitioningGPU
c006neuralnet_optimizerNeural Network OptimizerGPU
c007job_schedulingFlexible Job Shop SchedulingCPU
c008energy_arbitrageEnergy Market ArbitrageCPU

Glossary

TermDefinition
InnovatorParticipant who submits algorithms (code or advances) to solve challenges
BenchmarkerParticipant who runs algorithm benchmarks and submits proofs
ChallengeA computational problem adapted for optimisable proof-of-work
CodeAn algorithm source code submission by an Innovator
AdvanceAn algorithm improvement submission (documentation/paper) by an Innovator
FuelComputational cost metric — algorithms must solve within a fuel budget
OPoWOptimisable Proof of Work — TIG's core consensus mechanism
NonceInput seed for a single benchmark run
Runtime SignatureHash produced during algorithm execution, used for verification
BinaryA compiled shared object (.so) built from an algorithm submission

Repo Contents

CrateDescription
tig-algorithmsHosts algorithm submissions (code and advances) made by Innovators
tig-benchmarkerPython scripts for running TIG's benchmarker in master/slave configuration
tig-binaryWraps an algorithm submission for compilation into a shared object
tig-challengesImplementations of TIG's 8 computational challenges
tig-protocolCore protocol logic (block processing, submissions, verification)
tig-runtimeExecutes a compiled algorithm for a single nonce, generating runtime signature and fuel consumed
tig-structsShared struct definitions used throughout TIG
tig-tokenSolidity ERC20 token contract deployed on Ethereum L2 Base chain
tig-utilsUtility functions (hashing, Merkle trees, serialization, etc.)
tig-verifierVerifies a single solution or Merkle proof

Docker Images

TIG Docker images are hosted on GitHub Packages, supporting linux/arm64 and linux/amd64 platforms.

Note: Check tig-benchmarker/.env for the current VERSION (currently 0.0.5).

Dev Images (for Innovators)

Development environment for writing and compiling algorithms:

ChallengeImage
satisfiabilitysatisfiability/dev
vehicle_routingvehicle_routing/dev
knapsackknapsack/dev
vector_searchvector_search/dev
hypergraphhypergraph/dev
neuralnet_optimizerneuralnet_optimizer/dev
job_schedulingjob_scheduling/dev
energy_arbitrageenergy_arbitrage/dev

Slave Images (for Benchmarkers)

Runtime images spun up as part of slave.yml (see benchmarker README):

ComponentImage
Slave orchestratorbenchmarker/slave
satisfiabilitysatisfiability/runtime
vehicle_routingvehicle_routing/runtime
knapsackknapsack/runtime
vector_searchvector_search/runtime
hypergraphhypergraph/runtime
neuralnet_optimizerneuralnet_optimizer/runtime
job_schedulingjob_scheduling/runtime
energy_arbitrageenergy_arbitrage/runtime

Master Images (for Benchmarkers)

Spun up as part of master.yml (see benchmarker README):

ComponentImage
Master orchestratorbenchmarker/master
Dashboard UIbenchmarker/ui
PostgreSQLbenchmarker/postgres
Nginx reverse proxybenchmarker/nginx

Useful Scripts

The runtime and dev images include these scripts on PATH:

list_algorithms                              # List available algorithms for the challenge
download_algorithm <algorithm_name_or_id>    # Download an algorithm's source
test_algorithm <algorithm_name> <difficulty>  # Test an algorithm locally

The container automatically sets the CHALLENGE environment variable (e.g. knapsack/runtime sets CHALLENGE=knapsack). Use --testnet to target testnet.

License

See README for individual folders.

Contributors

FiveMovesAhead

905 commits

germ3n

10 commits

vstam1

6 commits

maks242

4 commits

Languages

Rust

93.8%

Cuda

5.6%