Remove faulty formatting

Consensys · Aug 22, 2024 · 7431e66 · 7431e66
1 parent af2f238
commit 7431e66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/architecture/stack/trace-expansion-proving/proving.md b/docs/architecture/stack/trace-expansion-proving/proving.md
@@ -12,7 +12,7 @@ In Linea, gnark is the final part of the prover. It is also standalone software
 
 #### What does it do?
 
-Similarly to Corset, gnark has two functions: it prepares a set of “circuits”, another way of referring to a constraint system, of the kind that will create a **zk-SNARK proof **that can be verified in an L1 Ethereum environment. It also, in fact, _makes_ those proofs.
+Similarly to Corset, gnark has two functions: it prepares a set of “circuits”, another way of referring to a constraint system, of the kind that will create a zk-SNARK proof that can be verified in an L1 Ethereum environment. It also, in fact, _makes_ those proofs.
 
 #### How does it do it?