andypeng2015's repositories
babble
BFT Consensus
buf
A new way of working with Protocol Buffers.
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
circom
zkSnark circuit compiler
cloud-hypervisor
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
cosmwasm
Framework for building smart contracts in Wasm for the Cosmos SDK
firecracker
Secure and fast microVMs for serverless computing.
goevmlab
Evm laboratory
hodor
Open source implementation of zkSTARKs in pure Rust
kata-containers
Kata Containers version 2.x repository. Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
monetd
Distributed smart-contract platform based on EVM-Lite and Babble
personal-stark101-rs
Port the original "stark101" tutorial(python) to Rust version
pingora
A library for building fast, reliable and evolvable network services.
polaris
Polaris is a modular implementation of the Ethereum Virtual Machine (EVM). It can be easily integrated into any consensus engine or application, including the Cosmos-SDK.
prysm
Go implementation of Ethereum proof of stake
risinglight
An OLAP database system for educational purpose
risingwave
RisingWave: the next-generation streaming database in the cloud.
Simple
A Simple showcase for the Sea-of-Nodes compiler IR
the-super-tiny-compiler
:snowman: Possibly the smallest compiler ever
vm-allocator
Provides allocations and release strategies for resources used during the lifetime of a VM.
vmm-sys-util
Helpers and utilities used by multiple rust-vmm components and VMMs
zkstark
A toy zero-knowledge prover and verifier, based on zk-STARKs protocol.