LayerXcom/stark-sol

This repository has been archived on 20/Apr/2021
Stars
7
Rank 2,294,772 (Top 46 %)
Language
Solidity
License
Apache License 2.0
Created about 6 years ago
Updated almost 2 years ago

LayerXcom/stark-sol

LayerXcom

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

[WIP] a solidity implementation of verification in a STARK on a MIMC calculation

zero-chain

A privacy-preserving blockchain on Substrate

confidential-computing-modules

A Module for Privacy-preserving State Transitions with Verifiability

verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods

cordage

Cordage: the blockchain interoperability project!

plasma-mvp-vyper

Implementation of Minimal Viable Plasma in Vyper

next-navigation-guard

Cancel page navigation in Next.js, like Nuxt's Navigation Guard feature.

cbc-casper-proof

Proofs of properties of CBC Casper

freee-go

Go library for freee API

bellman-substrate

A library for supporting zk-SNARKs to Substrate

hyperledger-fabric-security-dvp

Implementation of Security DvP

vyper-remix

Remix Vyper Plugin

lx-sonic

Sonic implementation in Rust

gram

A 64bit-TinyRAM simulator in Go

polkadot.rs

JSON-RPC Client for Substrate API

ccm-contracts

zerochain-book

A book about Zerochain

zero-chain-ui

The UI for Zerochain

verified-plasma-contracts

Formal Verification for Plasma-mvp

cbc-casper-simulator

CBC Casper simulator

ethsnarks-examples

Example implementations of ethsnarks (https://github.com/HarryR/ethsnarks)

cbc-beacon-chain

libsgx-rs

Collection of SGX crates used in LayerX projects

qldb-evaluation

QLDB Evaluation Project

lmd-ghost-simulation

Liveness analysis of LMD GHOST

Jupyter Notebook

safety-oracle

verified-plasma-mvp

NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts

GCC Machine Description