Frantisek Silvási
Orcid: 0000-0001-7700-5959
According to our database1,
Frantisek Silvási authored at least 2 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Intmax2: A ZK-Rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators.
Proceedings of the Financial Cryptography and Data Security. FC 2025 International Workshops, 2025
2020
Lean formalization of bounded grids and computable cellular automata defined thereover.
Sci. Comput. Program., 2020