Oleksandr Kuznetsov

1. Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation
   2024/05/13 by Oleksandr Kuznetsov, Alex Rusnak, Anton Yezhov +4 · 2 voices
   Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Formal Methods in Verification
2. Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube
   2026/08/04 by Oleksandr Kuznetsov
   Computer Science · Mathematics · #cs.IT #cs.CR #math.CO #math.IT