Re #15: Mina's proof system Kimchi uses IPA because big-O complexity doesn't always translate to real-world perf.
13 Jul 2023, 16:01
Re #15: Mina's proof system Kimchi uses IPA because big-O complexity doesn't always translate to real-world perf. When you consider constants for circuits Mina uses for block production and txn processing, IPA backed proofs are small, verify quickly, and avoid a trusted setup!⚡️