Consensys · Tabaie · Feb 13, 2026 · Jun 1, 2025 · Jun 1, 2025 · Jun 1, 2025
diff --git a/constraint/babybear/solver.go b/constraint/babybear/solver.go
diff --git a/constraint/babybear/system.go b/constraint/babybear/system.go
diff --git a/constraint/bls12-377/solver.go b/constraint/bls12-377/solver.go
diff --git a/constraint/bls12-377/system.go b/constraint/bls12-377/system.go
diff --git a/constraint/bls12-381/solver.go b/constraint/bls12-381/solver.go
diff --git a/constraint/bls12-381/system.go b/constraint/bls12-381/system.go
diff --git a/constraint/blueprint.go b/constraint/blueprint.go
@@ -37,6 +37,10 @@ type Solver[E Element] interface {
 	// Read interprets input calldata as a LinearExpression,
 	// evaluates it and return the result and the number of uint32 word read.
 	Read(calldata []uint32) (E, int)
+
+	// GetBlueprint returns the blueprint with the given ID.
+	// This allows blueprints to query other blueprints by ID.
+	GetBlueprint(id BlueprintID) Blueprint
 }
 
 // BlueprintSolvable represents a blueprint that knows how to solve itself.

diff --git a/constraint/bn254/solver.go b/constraint/bn254/solver.go
diff --git a/constraint/bn254/system.go b/constraint/bn254/system.go
diff --git a/constraint/bw6-761/solver.go b/constraint/bw6-761/solver.go
diff --git a/constraint/bw6-761/system.go b/constraint/bw6-761/system.go
diff --git a/constraint/core.go b/constraint/core.go
@@ -11,7 +11,6 @@ import (
 	"github.com/consensys/gnark-crypto/ecc"
 	"github.com/consensys/gnark/constraint/solver"
 	"github.com/consensys/gnark/debug"
-	"github.com/consensys/gnark/internal/gkr/gkrinfo"
 	"github.com/consensys/gnark/internal/smallfields"
 	"github.com/consensys/gnark/internal/utils"
 	"github.com/consensys/gnark/logger"
@@ -125,7 +124,6 @@ type System struct {
 	lbWireLevel []Level `cbor:"-"` // at which level we solve a wire. init at -1.
 
 	CommitmentInfo Commitments
-	GkrInfo        []*gkrinfo.StoringInfo
 
 	genericHint BlueprintID
 }
@@ -470,13 +468,3 @@ func putBuffer(buf *[]uint32) {
 	}
 	bufPool.Put(buf)
 }
-
-// NewGkr registers a GKR sub-circuit, returning a reference to an object where
-// serializable data about the sub-circuit is to be stored, and an index as a
-// reference to the GKR sub-circuit. The index is the first argument to all
-// GKR-related hints.
-func (system *System) NewGkr() (*gkrinfo.StoringInfo, int) {
-	i := len(system.GkrInfo)
-	system.GkrInfo = append(system.GkrInfo, new(gkrinfo.StoringInfo))
-	return system.GkrInfo[i], i
-}
diff --git a/constraint/koalabear/solver.go b/constraint/koalabear/solver.go
diff --git a/constraint/koalabear/system.go b/constraint/koalabear/system.go