Ivan Mikushin's repositories
tanzu-framework
Tanzu Framework provides a set of building blocks to build atop of the Tanzu platform and leverages Carvel packaging and plugins to provide users with a much stronger, more integrated experience than the loose coupling and stand-alone commands of the previous generation of tools.
aiken
Cardano Smart Contracts
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-swaps
A distributed Cardano DEX proof-of-concept using composable atomic swaps where users maintain delegation control at all times.
component-model
Repository for design and specification of the Component Model
curves
Implementations of popular elliptic curves
graal
GraalVM: Run Programs Faster Anywhere :rocket:
Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
oneiron-sdk
Oneiron: Cardano Sidechain SDK
openmina
Mina Rust Web Node
plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
proof-systems
The proof systems used by Mina
simplelanguage
A simple example language built using the Truffle API.
simpletool
A simple example tool built using the Truffle instrumentation API.
snark
Interfaces for Relations and SNARKs for these relations
snarkVM
A Virtual Machine for Zero-Knowledge Executions
snarkyjs
TypeScript framework for zk-SNARKs and zkApps
spartan
Spartan on Arkworks
spin
Spin is an open source framework for building and running fast, secure, and composable cloud microservices with WebAssembly
TyPLONK
Rust PLONK implementation
wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain
wasm-tools
Low level tooling for WebAssembly in Rust
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!