Tracking PR for v0.2 release

[bobbinth]

This PR will track progress of v0.2 release of Miden VM.

• Instruction set
  • New program structure #6
  • Instruction set refactoring #19
• Miden Assembly
  • New assembler implementation #9
  • Implement handling of field operations
    • Implemented handling of field ops #18
    • Implement assembly comparison operations for field elements #66
  • Implement handling of stack manipulation operations
    • Implement movupw parsing #25
    • Implement movup #26
    • Implement movdnw vm op #27
    • Implement more stack operations #28
    • Implement swap #30
  • Implement handling for u32 operations
    • Implement simple u32 ops #47
    • Implement u32 shl, shr, eq, neq, not #58
    • Implement more u32 ops #62
    • Update u32 ops according to spec #72
  • Implement handling of input/output operations
    • Implement parsing of memory operations #37
    • Implement parsing of pushw and env io operations #40
    • Implement assembly io advice ops #48
  • Implement handling of cryptographic operations
    • Implement crypto ops rphash and rpperm #51
    • Implement assembly mtree crypto ops #61
  • Implement comment parsing #20
  • Add debug operations #100
• Processor
  • Implement new processor #23
  • Implement processing of field operations #33
  • Implement processing of stack manipulation ops #50
  • Implement processing of u32 operations #36
  • Implement memory operations #24
  • Implement processing of advice ops #38
  • Implement processing of cryptographic operations
    • Crypto op processing, part 1 #41
    • Crypto op processing, part 2 #45
    • implement processing of mrupdate operation #49
  • Implement processing of decorators #46
  • Add debug operations #100
• Execution trace
  • Implement decoder trace generation
    • Span block decoding update #212
    • Decoder trace generation #195
    • Add u32 operation hint values to the decoder trace #237
    • Add op batch flags to decoder trace #246
  • Implement stack trace generation
    • Implement minimum stack depth #129
    • Add bookkeeping & helper columns to stack trace #148
  • Implement hasher trace generation #99
  • Implement range-check trace generation #63
  • Implement memory trace generation #59
  • Implement bitwise op trace generation #60
  • Implement stacking of auxiliary traces (hasher, bitwise, memory) #122
    • Swap order of memory and padding in the auxiliary table execution trace #291
  • Implement generation of multi-set checks columns
    • Implement running product column p0 in the range checker #230
    • Implement running product column p1 in the range checker #234
    • Implement construction of decoder aux column p3 #260
    • Implement trace generation for decoder aux columns p1 and p2 #267
    • Implement trace generation for aux stack overflow column #268
    • Implement trace generation for hasher auxiliary column p1 #280
    • Add range checker auxiliary trace columns q and p1 #286
    • Create AuxTableBus and build b_aux auxiliary trace column #304
    • Add hasher lookups to the chiplets bus #348
• AIR constraints
  • Implement basic prover structure #140
  • Implement decoder constraints
  • Implement stack constraints
  • feat: add range checker constraints (excluding permutation checks) #163
  • Implement co-processor constraints
    • Memory constraints and constraint handling refactor #173
    • Implement AIR constraints for bitwise & power of two operations #194
    • feat(air): add new constraint to bitwise_pow2 aux_table  #219
    • refactor(air): optimize output agg for bitwise #281
    • Improvement: optimize pow2 air constraint for output aggregation #232
    • Implement hash processor AIR constraints #214
    • feat(air): add boundary constraint to hasher #259
  • Implement multi-set check constraints
    • Implement running product column p0 in the range checker #230
    • Implement running product column p1 in the range checker #234
• Documentation
  • Create initial mdbook structure #157
  • Write intro section for mdBook documentation #302
  • Migrate Miden assembly note to docs
  • Integrate stdlib docs into mdBook documentation #294
  • Migrate design notes to docs
    • Add processor design documentation to mdbook #188
    • docs: add initial version of aux table mdbook docs #207
    • Add decoder design documentation to mdbook #239
    • Add decoder constraint descriptions to mdbook #243
    • Update design section in mdbook #331
    • docs(mdbook): rewrite chiplets design description #355
  • Update readme files #354