Awesome

Introduction

Greetings!

Behold, a compendium of instances illustrating the utilization of the illustrious noir-json-parser library. This dear reader, is your ticket to navigating the cosmos of JSON parsing with the finesse of a Vogon poetry enthusiast. So grab a towel, embrace the absurdity, and embark on this interstellar journey through the wonders of code in Aztec's 🌌Noir ZK-rollup galaxy of data.

Table of Contents

• Setup
• Thinking JSON in Noir
  • object
  • array
  • string
  • number
  • literal
  • single value

Setup

Refer to the noir-json-parser setup instructions.

Thinking JSON in Noir

• <a id="object"></a> object values are surrounded with braces { } and are represented as a slice of Property instances

  { "a": 10, "b": true }
  

  will be represented as

  [
      Property { key: "a".as_bytes(), value : "10".as_bytes() },
      Property { key: "b".as_bytes(), value : "true".as_bytes() }
  ]
  

  accessed via

  // returns "1" as [u8] instance
  json.get("a");
  json.doc[0].value;
  
  // returns "true" as [u8] instance
  json.get("b");
  json.doc[1].value;
  
  // convert to native types
  
  // returns "10" as Option<Field>
  json.get_field("a");
  json.get("a").as_field();
  json.doc[0].value.as_field(); // returns Option<Field>
  
  // returns "true" as Option<bool>
  json.get_bool("b");
  json.get("b").as_bool();
  json.doc[1].value.as_bool();
  

  <br>

  A child object

  { "a": 10, "b": { "c": "I'm a child object" } }
  

  will also be represented as a list of Property instances in the doc property

  [
      Property { key: "a".as_bytes(), value : "10".as_bytes() },
      Property { key: "b".as_bytes(), value: "{0}".as_bytes() } // 0 here is the actual byte value of 0, not the string "0" (0x30)
  ]
  

  and hold the child object in the parent JSON instance" children property

  [
      [
          Property { key: "c".as_bytes(), value : "I'm a child object".as_bytes() }
      ]
  ]
  

  accessed via

  json.get_object("b"); // return a JSON instance via key search
  json.child(0);        // return a JSON instance by child index
  

• <a id="array"></a> array values are surrounded with brackets [ ]

  { "a" : "[1,2,3]" }
  

  will be represented as

  Property { key: "a".as_bytes(), value : "[1,2,3]".as_bytes() }
  

  accessed via

  // returns [1,2,3] as [u8] instance
  json.get("a")
  json.doc[0].value;
  
  // convert [1,2,3] to array-list [[u8]]
  json.get_array("a");
  json.get("a").as_list()
  json.doc[0].value.as_list();
  

• <a id="string"></a> string values are surrounded with quotation marks " "

  { "a": "my string" }
  

  will be represented as

  Property { key: "a".as_bytes(), value : "\"my_string\"".as_bytes() }
  

  accessed via

  // returns "my_string" as [u8] instance
  json.get("a");
  json.doc[0].value;
  
  // convert "my_string" to my_string (without quotes) as [u8]
  json.get_string("a");
  json.get("a").as_string();
  json.doc[0].value.as_string(); // returns my_string (without quotes) instance as [u8]
  

• <a id="number"></a> number values are stored as they appear

  { "a": 123e+01 }
  

  will be represented as

  Property { key: "a".as_bytes(), value : "123e+01".as_bytes() }
  

  accessed via

  // returns "123e+01" as [u8] instance
  json.get("a")
  json.doc[0].value;
  
  // returns value of key "a", which is "1230", as Option<Field>
  json.get_field("a");
  json.get("a").as_field();
  json.doc[0].value.as_field();
  

• <a id="literal"></a> literal values are stored as they appear

  { "a": true }
  

  will be represented as

  Property { key: "a".as_bytes(), value : "true".as_bytes() }
  

  accessed via

  // returns "true" as [u8] instance
  json.get("a")
  json.doc[0].value;
  
  // returns value of key "a", which is "true", as Option<bool>
  json.get_bool("a");
  json.get("a").as_bool();
  json.doc[0].value.as_bool();
  

• <a id="single-value"></a> single values are stored with an empty key

  true
  

  will be represented as

  Property { key: "".as_bytes(), value : "true".as_bytes() }
  

  accessed via

  // returns value of true as Option<bool>
  json.get_bool("");
  json.get("").value.as_bool();
  json.doc[0].value.as_bool();
  

Contributing

Get in touch with the owners via Noir Discord to get approved as a collaborator.

Use the hashtag noir-json-parser.