Pinned Repositories
bellman-substrate
A library for supporting zk-SNARKs to Substrate
cbc-casper-proof
Proofs of properties of CBC Casper
confidential-computing-modules
A Module for Privacy-preserving State Transitions with Verifiability
cordage
Cordage: the blockchain interoperability project!
freee-go
Go library for freee API
hyperledger-fabric-security-dvp
Implementation of Security DvP
next-navigation-guard
Cancel page navigation in Next.js, like Nuxt's Navigation Guard feature.
plasma-mvp-vyper
Implementation of Minimal Viable Plasma in Vyper
verified-vyper-contracts
FVyper: A collection of useful Vyper contracts developed with formal methods
zero-chain
A privacy-preserving blockchain on Substrate
LayerX's Repositories
LayerXcom/lx-sonic
Sonic implementation in Rust
LayerXcom/gram
A 64bit-TinyRAM simulator in Go
LayerXcom/libSTARK
a library for zero knowledge (ZK) scalable transparent argument of knowledge (STAR
LayerXcom/verified-plasma-contracts
Formal Verification for Plasma-mvp
LayerXcom/ethsnarks-examples
Example implementations of ethsnarks (https://github.com/HarryR/ethsnarks)
LayerXcom/java-tron
Java implementation of the Tron whitepaper
LayerXcom/verified-plasma-mvp
NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
LayerXcom/aws-vpc-with-terraform
LayerXcom/cbc-casper-js
JS implementation of Vlad Zamfir's CBC Casper TFG
LayerXcom/cbc-casper-paper
An Introduction to CBC Casper Consensus Protocols
LayerXcom/cryst
LayerXcom/dbmate
:rocket: A lightweight, framework-agnostic database migration tool.
LayerXcom/evm-semantics
Forked KEVM for FVyper project
LayerXcom/fc-api
Factchain API Server
LayerXcom/fc-contracts
Factchain Ethereum Contracts
LayerXcom/icon-score-dev
an example of icon-score smart contract development
LayerXcom/lighthouse
Ethereum Serenity Client
LayerXcom/oo7
The Bonds framework along with associated modules.
LayerXcom/perigord
Perigord: Golang Tools for Ethereum Development
LayerXcom/prysm
Go implementation of Ethereum 2.0 - casper & sharding
LayerXcom/snarks-voting
LayerXcom/verified-smart-contracts
NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
LayerXcom/vyper
Pythonic Smart Contract Language for the EVM
LayerXcom/Web3-collaboration
Public repo to coordinate the collaboration of teams working in the web3 space.
LayerXcom/zero-wallet