diff --git a/book/src/future/precompiles.md b/book/src/future/precompiles.md
index 90c75d60e..4e56042a7 100644
--- a/book/src/future/precompiles.md
+++ b/book/src/future/precompiles.md
@@ -12,4 +12,6 @@ Precompile support plan:
 6. Use [circom-scotia](https://github.com/lurk-lab/circom-scotia) to convert $A, B, C$ matrices into static files in the Jolt codebase
 7. Write a converter to uniformly repeat the constraints `trace_length` steps
 
-*TODO(sragss): How do we deal with memory and loading more than 64-bits of inputs to precompiles.*
\ No newline at end of file
+See the documentation on Jolt's use/handling of [sparse constraint systems](./how/sparse-constraint-systems.md) for a detailed overview of how the Jolt proof machinery will prove these "pre-compiled" constraint systems.
+
+*TODO(sragss): How do we deal with memory and loading more than 64-bits of inputs to precompiles.*