Understanding and Arithmetizing Hylomorphism Traces - Article Feedback

apriori March 1, 2024, 8:17pm 1

Please use this topic to provide feedback for this article by @AHart. All comments welcome!

1 Like

Topic		Replies	Views
Relevant open research questions in PLT & compilers Programming Language Theory	0	188	May 27, 2023
ART: Compiling to zkVMs Anoma Research Topics	0	113	February 5, 2024
[Proposal] Scope refinement for resource machine report v2 Anoma Research Topics	22	469	June 26, 2024
[Proposal] Taiga: A Concrete Instantiation of the ARM Anoma Research Topics	0	33	June 19, 2024
ART report: ZKVMs Programming Language Theory	4	181	December 8, 2023