full example including compilation to TinyRAM?

scipr-lab / libsnark

C++ library for zkSNARKs

Other

1.8k stars 570 forks source link

Open louisabraham opened 2 years ago

louisabraham commented 2 years ago

Hi, I cannot find the TinyRAM compiler. I think it would be great to show how the .s in https://github.com/scipr-lab/libsnark/tree/master/tinyram_examples can be generated.

marcinbugaj commented 2 years ago

+1 Was TinyRAM compiler made public?

mkumar-cognam commented 12 months ago

If someone knows how to even access tinyRAM compiler or suggest some alternative , that will also be great. Please let me know what you think of it?

marcinbugaj commented 10 months ago

@mkumar-cognam , I wrote a backend for tinyRAM for llvm: https://github.com/Orbis-Tertius/llvm-project/tree/tinyRAM_backend-1 It should be fully functional.

Here are related repositories:

https://github.com/Orbis-Tertius/tinyram - tinyRAM machine emulator written in Haskell
https://github.com/Orbis-Tertius/tinyram_llvm_backend_testing - testcases for the tinyRAM backend (small C programs)