vix.ing · top · new · best · stats · spec

Alex Rusnak

  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