We provide applied research, consultancy and IT development services in the following areas:
Consensus Protocols
Blockchain / Distributed systems
Zero-knowledge proofs
Sikoba Research has also developed the isekai zero-knowledge middleware.
Initially created as a separate legal entity, "Sikoba Research" is now a project of Sikoba Ltd, which is developing a peer-to-peer IOU platform based on blockchain technology.
Until late 2019, Sikoba Research was sponsored by Fantom Foundation.
The areas in which we provide research, consultancy and software development services include consensus protocols, blockchain governance, tokenomics, e-voting and the application of zero-knowledge proof systems.
We also develop smart contracts in Solidity.
isekai makes zero-knowledge proofs accessible to mainstream programmers:
* isekai supports 3 ZKP libraries and 5 proof systems: libsnark (Groth16 and BCTV14a), dalek (Bulletproofs) and libiop (Aurora and Ligero).
* isekai is also the first tool allowing programmers to take existing C or C++ code and generally require only slight modifications to make it compatible with isekai. This is because isekai supports many features of regular programming languages, without using a domain specific language.
Isekai is written using the Crystal programming language and takes LLVM bitcode (LLVM IR) as its input. For more details and installation instructions, visit the isekai github repo at https://github.com/sikoba/isekai
Note that we do not currently have the resources to keep maintaining this software.
We released isekai 1.0 on 8 November 2019. This article focuses on the current status and supported language features. Read more...
This post discusses potential applications of isekai to various blockchains. Read more...
We have done a benchmark, comparing 5 proof schemes using identical arithmetic circuits. Read more...
On 26-27 June 2019 we hosted ZKLux#1, Luxembourg's first conference specifically dedicated to zero knowledge proofs.