Robin Linus

According to our database, Robin Linus authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Shielded CSV: Private and Efficient Client-Side Validation.

Jonas Nick, Liam Eagen, Robin Linus

IACR Cryptol. ePrint Arch., 2025

Bridging Bitcoin to Second Layers via BitVM2.

Robin Linus, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Andrea Pelosi, Orfeas Stefanos Thyfronitis Litos, Christos Stefo, David Tse, Alexei Zamyatin

IACR Cryptol. ePrint Arch., 2025

2024

Push-Button Verification for BitVM Implementations.

Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng

IACR Cryptol. ePrint Arch., 2024

BitVM: Quasi-Turing Complete Computation on Bitcoin.

Lukas Aumayr, Zeta Avarikioti, Robin Linus, Matteo Maffei, Andrea Pelosi, Christos Stefo, Alexei Zamyatin

IACR Cryptol. ePrint Arch., 2024

Remote Staking with Economic Safety.

Xinshu Dong, Orfeas Stefanos Thyfronitis Litos, Ertem Nusret Tas, David Tse, Robin Linus Woll, Lei Yang, Mingchao Yu

CoRR, 2024

2022

Stakechain: A Bitcoin-Backed Proof-of-Stake.

Robin Linus

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022