[INFO] provide very high-level estimation of operations for prover

[BoogerWooger]

GOAL: provide prover's team with information about "most wanted" operations, that need to be optimized or implemented in prover

TASK: estimate relative and absolute aounts of different operations in single tic processing

• comparsions
• bit operations
• powering to dynamicly powers
• range checks
• sqrt operations
• ... any iteresting single-value ops

[BoogerWooger]

• ~X comparisons (widely used in geometry calculations (~ X)
• ~X multiplications (geometry)
• ~0.2 * X divisions (geometry, engine)
• ~0.1 * X binary operations (engine, flags, geometry)

X ~= 10^6 for a minimal viable demo

Note: amount of operations is non-linearly depends on lenght of input because of different situation in game - simple geometry, monsters require much more cycles, checking more intersections, so the only working approach - is direct measurement. It can be done with automated GDB debugging, or ptrace interface (https://stackoverflow.com/questions/54355631/how-do-i-determine-the-number-of-x86-machine-instructions-executed-in-a-c-progra)

It's possible, but the same functional is going to be implemented in ZKLLVM itself, making this task obsolete.

[BoogerWooger]

closing