add note on CLRF

pluto · Aug 28, 2024 · 98abbfb · 98abbfb
1 parent 9c4ee69
commit 98abbfb
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/circuits/parser_http_request/language.circom b/circuits/parser_http_request/language.circom
@@ -13,8 +13,9 @@ template Syntax() {
     // - ASCII char `"`
     signal output QUOTE     <== 34;
     //-White_space--------------------------------------------------------------------------------//
-    // - ASCII char: `\n`
-    signal output NEWLINE   <== 10;
+    // - ASCII pair: `\r\n`
+    signal output CLRF   <== [13, 10]; // https://www.rfc-editor.org/rfc/rfc2616#section-2.2
+                                       // https://www.rfc-editor.org/rfc/rfc7230#section-3.5
     // - ASCII char: ` `
     signal output SPACE     <== 32;
     //-Escape-------------------------------------------------------------------------------------//