https://github.com/zyedidia/decl
Research Artifact for "Deterministic Client: Enforcing Determinism on Untrusted Machine Code"
https://github.com/zyedidia/decl
Last synced: 4 months ago
JSON representation
Research Artifact for "Deterministic Client: Enforcing Determinism on Untrusted Machine Code"
- Host: GitHub
- URL: https://github.com/zyedidia/decl
- Owner: zyedidia
- Created: 2024-07-21T23:21:10.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2025-07-13T00:31:44.000Z (6 months ago)
- Last Synced: 2025-08-03T04:33:01.427Z (5 months ago)
- Language: C
- Homepage:
- Size: 2.63 MB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Deterministic Client Artifact
Deterministic Client (DeCl) is an extension of LFI for enforcing determinism
and deterministic metering on native code. This repository contains the
artifact for the research prototype of DeCl, which can be used to reproduce the
experiments from our paper.
Some components are external: see https://github.com/scslab/smart-contract-scalability
for the implementation of Groundhog, and https://github.com/zyedidia/codegram for
the code that is used to construct and use the BDD.
The SPEC 2017 benchmarks require you to separately have access to SPEC. If you
have questions about how to run the benchmarks please contact zyedidia@stanford.edu
See individual directories for details about their role.