diff --git a/content/publications/azouvi2023/azouvi2023.pdf b/content/publications/azouvi2023/azouvi2023.pdf index 491e46ec..5ff02b3b 100644 Binary files a/content/publications/azouvi2023/azouvi2023.pdf and b/content/publications/azouvi2023/azouvi2023.pdf differ diff --git a/content/publications/azouvi2023/index.md b/content/publications/azouvi2023/index.md index 376f5422..1f6731c7 100644 --- a/content/publications/azouvi2023/index.md +++ b/content/publications/azouvi2023/index.md @@ -10,14 +10,14 @@ date: 2023-04-22 # publishDate: 2019-09-03 # Venue Name -venue: +venue: DISC 2023 # Venue Location -venue_location: +venue_location: "L'Aquila, Italy" # Venue Date (useful e.g. for conferences whose date differs from pub; defaults to date) # format YYYY-MM-DD -venue_date: +venue_date: 2023-10-09 # DOI, if available doi: @@ -25,7 +25,7 @@ doi: # Type of publication # delete all but one publication_types: - - report + - conference-paper # For PL authors, use author folder name; for non-PL authors, write name as in paper within "" authors: diff --git a/content/publications/wang2023/index.md b/content/publications/wang2023/index.md new file mode 100644 index 00000000..87aac59e --- /dev/null +++ b/content/publications/wang2023/index.md @@ -0,0 +1,71 @@ +--- +# Publication title +title: "Security analysis of Filecoin's Expected Consensus in the Byzantine vs honest model" + +# Website post date +# format YYYY-MM-DD +date: 2023-08-14 + +# Publish from this date (defaults to date) +# publishDate: 2019-09-03 + +# Venue Name +venue: AFT 2023 + +# Venue Location +venue_location: Princeton, NJ, USA + +# Venue Date (useful e.g. for conferences whose date differs from pub; defaults to date) +# format YYYY-MM-DD +venue_date: 2023-10-23 + +# DOI, if available +doi: + +# Type of publication +# delete all but one +publication_types: + - conference-paper + +# For PL authors, use author folder name; for non-PL authors, write name as in paper within "" +authors: + - xuechao-wang + - sarah-azouvi + - marko-vukolic + +# Zero or more of the areas in content/areas +areas: + - distributed-systems + +# Zero or more of the groups in content/groups (should match author membership) +groups: + - consensuslab + +# Publications without a PL affiliation can be added to the author's profile without showing up elsewhere +# If adding one, set this to true *and* do not set an area or group +unaffiliated: false + +# Publication pdf, should be in the same folder +# No need to fill this out; just name the file the same as the folder +#resources: +# - src: 119.pdf + +# Not generally used +# featured: false + +# Not generally used +#categories: +# - + +# Icon must match a known icon in /static/icons +# links: +# - name: Publisher +# url: link to publisher +# icon: link +# - name: Download PDF +# url: external pdf url +# icon: download + +--- + +Filecoin is the largest storage-based open-source blockchain, both by storage capacity (>11EiB) and market capitalization. This paper provides the first formal security analysis of Filecoin's consensus (ordering) protocol, Expected Consensus (EC). Specifically, we show that EC is secure against an arbitrary adversary that controls a fraction β of the total storage for βm<1−e−(1−β)m, where m is a parameter that corresponds to the expected number of blocks per round, currently m=5 in Filecoin. We then present an attack, the n-split attack, where an adversary splits the honest miners between multiple chains, and show that it is successful for βm≥1−e−(1−β)m, thus proving that βm=1−e−(1−β)m is the tight security threshold of EC. This corresponds roughly to an adversary with 20% of the total storage pledged to the chain. Finally, we propose two improvements to EC security that would increase this threshold. One of these two fixes is being implemented as a Filecoin Improvement Proposal (FIP). diff --git a/content/publications/wang2023/wang2023.pdf b/content/publications/wang2023/wang2023.pdf new file mode 100644 index 00000000..c73f4e02 Binary files /dev/null and b/content/publications/wang2023/wang2023.pdf differ diff --git a/content/talks/plr23-henrique/featured.png b/content/talks/plr23-henrique/featured.png new file mode 100644 index 00000000..a0d31195 Binary files /dev/null and b/content/talks/plr23-henrique/featured.png differ diff --git a/content/talks/plr23-henrique/index.md b/content/talks/plr23-henrique/index.md new file mode 100644 index 00000000..629461ef --- /dev/null +++ b/content/talks/plr23-henrique/index.md @@ -0,0 +1,48 @@ +--- +# Talk title +title: "Janus and Granite" + +# Website post date +# format YYYY-MM-DD +date: 2023-07-17 + +# Publish from this date (defaults to date) +# publishDate: 2019-09-03 + +# Venue name +venue: Protocol Labs Research Talks + +# Venue link +venue_url: + +# Venue date (defaults to date) +# format YYYY-MM-DD +# venue_date: 2023-07-17 + +# Venue location +venue_location: + +# For PL authors, use author folder name; for non-PL authors, write name as in paper within "" +authors: + - henrique-moniz + +# Zero or more of the areas in content/areas +areas: + - distributed systems + +# Zero or more of the groups in content/groups (should match author membership) +groups: + - consensuslab + +# Name the cover image featured.jpg +resources: + - title: featured-image + src: featured.png + +# Short abstract +# Describe talk here +abstract: "Henrique presents Janus and Granite, a consensus framework and algorithm to bring fast finality to the Filecoin network." + +--- + +{{< youtube fXWxCHB02i4 >}} diff --git a/content/talks/randomnesssummit23-matej/featured.png b/content/talks/randomnesssummit23-matej/featured.png index 60f26f0b..d17c8893 100644 Binary files a/content/talks/randomnesssummit23-matej/featured.png and b/content/talks/randomnesssummit23-matej/featured.png differ