LayerX (@LayerXcom)
Guthub

LayerXcom

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

zero-chain

A privacy-preserving blockchain on Substrate
Rust
261
star
2

confidential-computing-modules

A Module for Privacy-preserving State Transitions with Verifiability
Rust
90
star
3

verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods
Python
55
star
4

cordage

Cordage: the blockchain interoperability project!
Kotlin
52
star
5

plasma-mvp-vyper

Implementation of Minimal Viable Plasma in Vyper
JavaScript
51
star
6

next-navigation-guard

Cancel page navigation in Next.js, like Nuxt's Navigation Guard feature.
TypeScript
38
star
7

cbc-casper-proof

Proofs of properties of CBC Casper
TeX
35
star
8

freee-go

Go library for freee API
Go
32
star
9

bellman-substrate

A library for supporting zk-SNARKs to Substrate
Rust
29
star
10

hyperledger-fabric-security-dvp

Implementation of Security DvP
Shell
22
star
11

vyper-remix

Remix Vyper Plugin
JavaScript
17
star
12

lx-sonic

Sonic implementation in Rust
Rust
17
star
13

gram

A 64bit-TinyRAM simulator in Go
Go
13
star
14

polkadot.rs

JSON-RPC Client for Substrate API
Rust
12
star
15

ccm-contracts

Solidity
9
star
16

zerochain-book

A book about Zerochain
8
star
17

stark-sol

[WIP] a solidity implementation of verification in a STARK on a MIMC calculation
Solidity
7
star
18

zero-chain-ui

The UI for Zerochain
JavaScript
7
star
19

verified-plasma-contracts

Formal Verification for Plasma-mvp
Python
6
star
20

cbc-casper-simulator

CBC Casper simulator
Python
5
star
21

ethsnarks-examples

Example implementations of ethsnarks (https://github.com/HarryR/ethsnarks)
C++
3
star
22

cbc-beacon-chain

Python
3
star
23

libsgx-rs

Collection of SGX crates used in LayerX projects
Rust
2
star
24

qldb-evaluation

QLDB Evaluation Project
C#
1
star
25

lmd-ghost-simulation

Liveness analysis of LMD GHOST
Jupyter Notebook
1
star
26

safety-oracle

1
star
27

verified-plasma-mvp

NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
GCC Machine Description
1
star