Isekai Update from Sikoba and Fantom

Isekai Update from Sikoba and Fantom Michael Kong (FANTOM Foundation)Follow Aug 16 · 1 min read By Alex Kampa Sikoba has been doing extensive work on Isekai, a verifiable computation framework that Fantom is planning to integrate into its programming toolchain to add zero-knowledge proofs capability to smart contracts. Over the past few months, Isekai has achieved a lot, some of which is detailed below: Engagement with “Seretonin Syndrome”, one of the winners of the CryptoBazzar hackathon, to implement Lower-Level Virtual Machine (LLVM) compatibility for Isekai, allowing smart contracts written in multiple languages such as C# and C++ to be tested, instead of only C-programs. Introduction to LLVM and Isekai: https://medium.com/sikoba-network/isekai-technical-update-llvm-d5003fc8f009 LLVM Update #2: https://medium.com/@glushenkov.ig/81296a0eccbf Isekai technical documentation and architectural overview: https://medium.com/sikoba-network/isekai-technical-documentation-released-951eda2ec1c8 Isekai is an open source project, whose code is frequently updated and available here: Main isekai repo: github:isekai isekai toolbox: https://github.com/sikoba/r1cs-toolbox LLVM-parser: https://github.com/glushenkovIG/isekai-llvm Isekai fork for LLVM integration work: https://github.com/shdown/isekai Support library: https://github.com/shdown/llvm-crystal Contributors Alex Kampa. CEO Sikoba Research: http://research.sikoba.com