Login / Signup
Steve Thakur
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 9
Top Topics
Formal Proofs
Encryption Algorithms
Algebraic Properties
Mathematical Proofs
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
</>
Publications
</>
Sergio Juárez
,
Mark Blunden
,
Joris Koopman
,
Anish Mohammed
,
Kapil R. Shenvi Pause
,
Steve Thakur
Cross-chain bridges via backwards-compatible SNARKs.
IACR Cryptol. ePrint Arch.
2024 (2024)
Steve Thakur
An optimization of the addition gate count in Plonkish circuits.
IACR Cryptol. ePrint Arch.
2023 (2023)
Steve Thakur
A flexible Snark via the monomial basis.
IACR Cryptol. ePrint Arch.
2023 (2023)
Steve Thakur
Isogenies of certain abelian varieties over finite fields with p-ranks zero.
IACR Cryptol. ePrint Arch.
2020 (2020)
Steve Thakur
Isogenies of certain abelian varieties over finite fields with p-ranks zero.
CoRR
(2020)
Steve Thakur
Arguments of Knowledge via hidden order groups.
IACR Cryptol. ePrint Arch.
2020 (2020)
Steve Thakur
Constructing hidden order groups using genus three Jacobians.
IACR Cryptol. ePrint Arch.
2020 (2020)
Steve Thakur
Batching non-membership proofs with bilinear accumulators.
IACR Cryptol. ePrint Arch.
2019 (2019)
Steve Thakur
Abelian varieties in pairing-based cryptography.
CoRR
(2018)