"A guiding principle is to have a strong command of the fundamental areas of mathematics, and let physics inspire the further mathematical concepts. Mathematics clarifies physics, and physics gives life to mathematics"

"Readers should aim to cover the stated curriculum in its entirety over the course of two to three years (but it will realistically take longer as you adapt to reading mathematics); it is comprehensive and essentially self-contained"

* "two to three" years seems unrealistic but a good basis can be built in that time

imagine being a great scientist in homologies, homotopies, group theories and even getting a phd in this field, wearing a beard and a checkered shirt and doing “fantastic” protocol audits, dream job​​​​​​​​​​​​​​​​

https://csm-docs.cozy.finance/faq/security-faq

don’t trust medals, appearances and created image, better focus on the practice of solving problems rather than idle reasoning loaded into pdf files with big names​​​​​​​​​​​​​​​​

elon's latex editor looks very limited, but I like the idea, hope they will expand it

function TAPE_Verify(A, B, C, rounds):
    For r in 1..rounds:
        u = RandomBitVector(1024)
        
        // compute expected result
        expected = Map<(lid, idx, sign), bit>
        For ea in A.E:
            For eb in B.E:
                pa = InnerProduct(u, ea.sigma) mod 2
                pb = InnerProduct(u, eb.sigma) mod 2
                bit = pa ⨁ pb
                
                lid = ea.layer_id * |B.L| + eb.layer_id
                idx = (ea.idx + eb.idx) mod 61
                sign = (ea.sign = eb.sign) ? + : -
                expected[(lid, idx, sign)] ⨁= bit
        
        // check actual result
        actual = Map<(lid, idx, sign), bit>
        For ec in C.E:
            pc = InnerProduct(u, ec.sigma) mod 2
            actual[(ec.layer_id, ec.idx, ec.sign)] ⨁= pc
        
        If expected ≠ actual:
            Return FAIL
    
    Return PASS

the simplest example of TAPE proof, which posted earlier (maybe a change of ZK narratives?)