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