diff --git a/circuits/README.md b/circuits/README.md
index 0afb9e5..73542c8 100644
--- a/circuits/README.md
+++ b/circuits/README.md
@@ -14,7 +14,7 @@ Because we're not all Vitalik, it's best if we have some simple tools that will
 
 Circom is easiest to think of as a compiler for a circuit language which acts very much like the kind of [hardware description language](https://en.wikipedia.org/wiki/Hardware\_description\_language) that electrical engineers would use to describe an electrical circuit. Except instead of an electrical circuit, we're describing an **arithmetic circuit**, which contains components, and the way that they connect together.
 
-When you compile a Circom circuit, the resulting output is an [R1CS constraint system](https://docs.circom.io/1.-an-introduction/background#rank-1-constraint-system) and a [Wasm](https://en.wikipedia.org/wiki/WebAssembly) executable that will be used to generate a [witness](https://docs.circom.io/1.-an-introduction/background#witness).
+When you compile a Circom circuit, the resulting output is an [R1CS constraint system](https://docs.circom.io/background/background/#rank-1-constraint-system) and a [Wasm](https://en.wikipedia.org/wiki/WebAssembly) executable that will be used to generate a [witness](https://docs.circom.io/background/background/#witness).
 
 **R1CS**
 
@@ -26,7 +26,7 @@ To understand R1CS (Rank-1 constraint system), there is of course more math. And
 >
 > If we try to falsify any of the variables in the R1CS solution that we are deriving this QAP solution from - say, set the last one to 31 instead of 30, then we get a $$t$$ polynomial that fails one of the checks.
 
-In short, the R1CS is a set of polynomial constraints which any proof generated by the circuit must satisfy. These constraints are [generated by Circom](https://docs.circom.io/2.-circom-fundamentals/constraints-generation) based on the relationship between various "signals" and operations in your circuit design.
+In short, the R1CS is a set of polynomial constraints which any proof generated by the circuit must satisfy. These constraints are [generated by Circom](https://docs.circom.io/circom-language/constraint-generation) based on the relationship between various "signals" and operations in your circuit design.
 
 **Witnesses**