I'm interested in the TinyRAM verifiable computation system. Can you tell me about its programmability and performance, especially how it compares to the Buffet system? Also, where can I find the source code for the TinyRAM re-implementation if I want to use it?
Navigate to the 'Related projects' page. Locate the description for 'BCTV, BCGTV, and TinyRAM'. Extract details on its programmability and performance overhead. Identify any direct comparisons between BCTV/TinyRAM and Buffet regarding programmability and performance. Navigate to the 'Source code' page. Locate the section for 'Re-implementations of related systems' and identify the availability of TinyRAM's source code. Synthesize the findings to answer the question.
State that BCTV/BCGTV/TinyRAM offers excellent programmability (full C language support) but has very high overhead. State that compared to Buffet, BCTV/TinyRAM's programmability is slightly better but its performance is orders of magnitude worse. State that the TinyRAM re-implementation is available via a link on the 'Source code' page (id: 584) and is also included with Buffet and as a git submodule in their latest development branch.