Awesome

Christopher

A gate level simulator and gate level netlist standard specification in Cairo

Proof of concept

• sim.cairo: event-driven simulator using storage as queues
• gates_fulladder4_generated.cairo: a generated contract representation for a 4b full adder circuit