Isekai Update from Sikoba and Fantom
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