feltroid Prime

~~Looking for a contributor~~

link is broken, updated one is here : https://maticnetwork.github.io/miden/design/chiplets/bitwise.html

> lol, i just noticed this is an infinite loop. copy pasted the wrong example. Edited.

alt_bn128 pairing logic is implemented in this file https://github.com/tekkac/cairo-alt_bn128/blob/c2ec87cc9b57846f2d89861f77b4bee69e2a5720/alt_bn128_pair.cairo#L143-L167 , the main part being the Miller loop, but it uses unsafe hints from this file https://github.com/tekkac/cairo-alt_bn128/blob/main/alt_bn128_gt.cairo The author originally thought...

In fact in https://github.com/tekkac/cairo-alt_bn128/blob/main/alt_bn128_gt.cairo, There **might** be a trick to verify the hint of gt_line_slope though, but not the arithmetics like fq12_mul .