Prof. of Security and Privacy Engineering at UCL & Chief Scientist
@mysten_labs
. Interested in decentralization, privacy, systems, and machine learning.
Facebook Calibra is today going public with (technical) papers on:
* Libra Blockchain
* LibraBFT Consensus
* Move Language & VM
And a plan to go more permissionless!
#libra
#crypto
A reminder that the protocols underlying Sui are documented in detail, come with security and correctness arguments, and component level performance evaluations.
Sui Lutris is the composition of fast path and consensus:
Narwhal / Bullshark is the…
We need a 'Surreal world crypto': a conference for crypto schemes based on primitives that may not exist; providing properties no security engineer would ever care about; and where schemes are abstractly alluded to rather than running in code. Oh, wait a second ...
Very excited by the work of
@LefKok
@alberto_sonnino
and co-authors. While the blockchain industry is trying to adapt to multi-core execution, they show that compute-heavy smart contracts execution on
@SuiNetwork
can be distributed across multiple machine. This promises…
Introducing Pilotfish, a new groundbreaking autoscaling technology built on Sui by
@Mysten_Labs
that, for the first time ever, enables single validators to employ multiple machines!
Pilotfish points to a future where the question is no longer whether a level of throughput is…
Responding to
@zmanian
's shout out for a
@SuiNetwork
light client: I spent the weekend writing a basic one in 350 lines of code here:
In a nutshell here is how one can build light clients for
@SuiNetwork
today, and also some reflections about the…
Motivated by the discussion below, let's talk about the different points relating to finality in
@SuiNetwork
. There are 3 relevant ones in the protocol flow.
All transactions get certified, which involves getting signed by >2/3 of the stake, and the aggregate signature being…
@GDanezis
@foxriverdevops
@AF_intern
@DavidTiczon
@AaronJKDC
@SuiNetwork
At checkpoints, For finality as I understood it prior to sui everyone knows what happened and nothing can be reverted once appended. not just the user knows what happened but all nodes, archival etc that's why I said what said. Definitions always change though
Finished "Read, Write, Own" by
@cdixon
at
@a16z
on a long flight. Very Interesting, long form elaboration of the Blockchains as open protocol networks with better economic models = less value captured by platforms, more by apps thesis. And a good complement presenting the…
Tech report on "FastPay: High-Performance Byzantine Fault Tolerant Settlement" is online () along with prototype code (). We show Byzantine Fault Tolerant settlement can scale up to global retail payments volumes.
New blog post and tech report out about Sui Lutris, the byzantine fault tolerant replication protocol that underlies the
@SuiNetwork
. With details about the fast consensus-less path, the consensus-full shared object path, checkpointing and reconfiguration + proofs!
Post:…
🔎Let’s dive into Sui Lutris: the distributed system protocol that powers Sui and which enables the network to achieve very low latency alongside high-throughput and long-term stability.
I started maintaining examples of how to use the
@SuiNetwork
Rust SDK to build dapps:
There are already great Sui Move and typescript tutorials. But I keep looking through the docs when building Rust services. Let me know what examples you would like to…
Fun fact: on page 931 of the EU-UK trade deal it is specified that DNA profile information can be exchanged by sMIME protected email, secured by 1024 bit RSA keys and SHA-1! It's supported by Netscape communicator apparently.
I've said this before and I'm sure I'll say it again: I believe our aggregator (and by extension our Dynamic Gas feature) is one of the best showcases of Sui’s tech to date. Thanks to Programmable Transaction Blocks (PTBs), we are able to perform very complex trades that route…
Today is my last working day at
@novi
. Best of luck to the team and
@DiemAssociation
for the future!
As for me, will be more at
@uclisec
and open to new adventures in privacy tech, decentralization and crypto.
Happy to share today a bit more about our new company
@Mysten_Labs
, that will be building high-performance and highly-expressive programmable decentralized technologies. Here is an opening vision:
I am going part-time at
@uclcs
to join the organization, heading research in security and distributed systems, and help build a scalable, decentralized, and usable smart contracts platform. We will also be looking for more talented people!
@chainspace_io
Reading "Patterns of Distributed Systems" by
@unmeshjoshi
. Highly recommend it to anyone designing even the simplest of systems. If I had to teach a course on the topic this would probably be the exercise book. Only regret: wish examples were in
@rustlang
.
Been reading the Motorway consensus paper, and the scheme is very interesting and very well designed indeed.
Very happy to see ideas from DAG-based consensus now being applied "back" to more traditional consensus - such as separating dissemination and agreement, using all…
Lovely curated list of papers to read on blockchains and
#crypto
currencies, ranked by citation (inexact but somewhat informative measure of impact). The top-100 are must reads for serious scholars on the topic. You will find some of our work there.
Today's judgement from the ECHR: GCHQ's mass surveillance operations do violate the right to privacy of people in the UK and elsewhere. The only reason they are legal in the UK is because of the poor level of protection of the human rights of its citizens.
Haaroon Yousaf giving talk at Financial Cryptography today (in Croatia) on our research on Forsage, a pyramid scheme on Ethereum. Blockchain transparency sheds new light on these classic scams. To get the lowdown, see our blog post.
@sarahalle_
@relyt29
I am very excited about this: modern blockchains can solve coordination problems securely and at scale while maintaining openness. New network technologies like scion can leverage them to resolve the many coordination problems they face. A great match!
🤝We're excited to announce our partnership and investment in Anapaya Systems, a leading company within the SCION network.
🔒Together, we’re exploring how the SCION next-generation network technology can be used to provide secure communication for
@SuiNetwork
and other web3…
The unsung father of smart contracts and blockchains is David Clark, coincidentally also one of the fathers of the internet.
In 1987 he formulated the Clark-Wilson security policy framework to speak to the needs of - back then nascent - commercial organizations with security…
Congratulations to the
@CelestiaOrg
team for the launch! Its so exciting to see research turn into a running system (and loved the name LazyLedger
@musalbas
).
This work by Magritte (1936) resonates with me in relation to my work as an engineer. It conveys the feeling of seeing beyond what there is, and towards what and how things could be as a result of designs becoming reality.
What art relates to your work's emotions?
The level of dedication of people working in cryptography and privacy is tested, by the heavenly surroundings of the beach resort. Stay strong everyone!
#cryptoschoolcroatia
I am delighted to be advising Nym Technologies that will be launching cutting edge privacy tech including mix nets and selective disclosure credentials we have partly designed at
@uclisec
. Read for more info ...
1/
@vegaprotocol
is a standalone, custom-built, proof-of-stake blockchain that runs on the Tendermint consensus mechanism.
@vegaprotocol
's network architecture is optimized for trading on several dimensions.
I have written some personal reflections on why I am so interested in the technical space of distributed ledgers to found a start-up in this space; and how blockchains relate to privacy technologies and their adoption.
The question of how to incentivise privacy tech has always been an impediment to deployment, so it's great to see the nym project getting off the ground!
The Nym whitepaper is out!
We're releasing the most comprehensive design ever to save your data privacy and anonymity on the Internet from mass surveillance by Big Tech and even the NSA.
Read the paper. Run the code. Defend yourself with cryptography!
Programmable Transaction Blocks can combine objects and functions in complex flows without writing new Move code. It would be so cool to have a flow-based visual editor eg using to build such PTBs visually. Would love to see that built!…
Very happy
@Mysten_Labs
is open sourcing an implementation of Narwhal & Tusk with a number of engineering improvements to help its adoption by the community. A long line of academic and engineering work at Mysten and beyond contributed to this🙏(see ).
We are open-sourcing Narwhal & Tusk, our high-throughput mempool and consensus implementation. By sharing the code as open source, we hope others can help the overall web3 community absorb those technologies. Read more:
New: Narwhal & Tusk, a mempool and BFT consensus system allow very high throughput (100Ks TPS) and low latency (<5s WAN). You can add Narwhal to your favorite BFT system to get this throughput.
With
@alberto_sonnino
,
@LefKok
, and Alexander Spiegelman.
The go implementation of the loopix anonymous communication channel, from
@aniampiotrowska
's internship at
@DeepMindAI
, has now been released as open source code.
@uclisec
UCL opens 3 faculty positions in Security and Crypto (all levels, deadline: Jan 10). We have a worldwide reach from London, the most vibrant tech European city. We research and teach minutes away from Google/Deepmind/Facebook/UKGov. Then head for a pint.
I am sitting in the 'definitions' session of the UK parliament interest group on blockchains. I am sorry for the UK parliamentarians, for the most confusing thoughts on 'what is blockchains?' I have ever heard.
@UKParliament
The latest call for
@SuiNetwork
academic grants closes on Apr 4rh. If you are doing any academic research that could improve the Sui network or its ecosystem do apply!
🔊 Calling all researchers!
We invite researchers and academics from global institutions to apply for the 4th round of Sui Academic Research Awards.
Up to $250k has been earmarked for this round, and the call for proposals closes on April 4.
Apply 👉
I am seriously impressed with all the technical work of
@david415
,
@gamamb
.
@nextleap2020
and others behind Katzenpost, the new set of mix-net anonymity protocols by
@PanoramixH2020
. Check out repositories including a "how to take over the world" plan :-)
❗Announcing our inaugural global conference: Sui Basecamp!
🇫🇷Join us April 10-11 in Paris, France to celebrate the Sui builders, businesses, and believers that have been with us in the first year of Mainnet!
Buy your ticket now before prices increase: …
🌊After Devnet, multiple Testnet waves, Frenemies,
#CapyHolidays
, Builder Houses, and much more – what a monumental moment for the Sui community: Sui Mainnet has launched!💥
Let’s dive into what that means for all of you and why you should
#BuildOnSui
!
👇🧵
Today, alumni from UCL MSc InfoSec computer security 1, look back on the topic of 'hardware support for security' and finally reflect, 'Ah, this is what this lecture was all about'.
#Meltdown
@uclisec
@samlafer
@DavidTiczon
@SuiNetwork
Sui allows for static parallel scheduling while allowing flexible dynamic access when safe.
Sui totally lets you do dynamic lookups when we can statically determine there will be no contention: namely in the case of nested dynamic fields of objects that are locked. That is what…
The WSJ opinion piece by two Stanford profs suggests that the
#COVID19
case fatality rate could be very low (0.1% to 0.01%) -- as low as having a cold.
Both models that I built agree with that possibility.
How is that possible? An explanation thread 1/n
I am proud to be advising the
@vegaprotocol
team and co-authoring a white paper on how to engineer a fully decentralised market engine with open governance mechanisms, and allowing open participation. The dawn of truly ambitious dapps is here.
👀 On the last day of a great
#SFBlockchainWeek
we have something exciting to share with you! Our protocol whitepaper sets out Vega’s ambitious vision for a decentralised financial system; get it here before the official launch:
#SFBW18
#SFBW
#CESC
Nominations are still open (until April 5) for the prestigious Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies. Do submit the papers you like best published in (roughtly) the past two years. For details:
Related to this, if you are an academic researcher that is interested in further studying or verifying any aspect of Sui the
@SuiNetwork
foundation can support your work (next deadline Jan 4):
Just uploaded "SybilQuorum: Open Distributed Ledgers Through Trust Networks" on Arxiv (with
@alberto_sonnino
), combining social network Sybil defences and byzantine consensus. Now all
@chainspace_io
and
@nextleap2020
technology is public for all to use.
US charges on Assange are about encouraging a source to disclose documents for publication. Whether those were in a filling cabinet or a computer does not change the politically appalling nature of the matter. Every journalist, that does their job, should fear they will be next.
@NAChristakis
I tell my graduate students to diligently work 8 hours a day 5 days a week, and otherwise have a rich and fulfilling life. Research is a job, not a salt mine ran by slave labor or a psychosis. Creativity and exhaustion are not compatible.
Peter Scott' article only scratches the surface of all the ways Uk academics became immigration enforcers. They keep student attendance registers for visas checks; records of meetings with PhD students on visa; track the whereabouts of int. staff.. Enough!
@rel_Aztec
Sub conjecture: the effectiveness of any formal methods in catching bugs is largely due to forcing someone else to actually read and understand the code, rather than any further process based on mathematical logic.
Prof. Mark Handley (
@MarkJHandley
) from
@uclcs
provides an accessible masterclass into the Meltdown and Spectre vulnerabilities, as part of the
@uclisec
seminars:
Sui is an L1 platform that maximally leverages consistent broadcast to provide a safe lower latency higher throughout blockchain. More tech details in the white paper:
Today, we announce Sui to the world -- the 1st permissionless Layer 1 blockchain designed to enable creators & devs to build experiences that cater to the next billion users in web3! Read about it here:
@SuiNetwork
have fantastic facilities to search for objects and transactions IDs, but less so to explore events, day per address or packege ID. For example we can often see all transactions per package ID but not all events emitted. Who is building event explorers for Sui?
New version of the high-throughput Narwhal/Tusk mempool/consensus design just dropped. Now with more experiments, and hopefully a clearer explanation of how Tusk works. Thanks for all the feedback folks! with
@alberto_sonnino
@LefKok
Sasha Spiegelman
Reading Blockchain Radicals by
@TBSocialist
and using a vending machine as an example to explain smart contracts is probably the best lo tech analogy for the technology.
🔥Our parallel execution framework to speed up the Move VM: . A great convergence of ideas from STMs, deteministic DBs, and blockchains & my last work @ Novi!
❤️:
@SashaSpiegelman
,
@rgelash
,Zhuolun Xiang,
@zekun000
,Yu Xia, Runtian Zhou, and
@dahlia_malkhi
We (UCL
@uclisec
) are advertising a post-doc position on blockchains and distributed ledgers. Join the kick ass teams behind
#rscoin
#chainspace
and many many other projects.
Homme libre, toujours tu chériras la mer!
La mer est ton miroir; tu contemples ton âme
Dans le déroulement infini de sa lame,
Et ton esprit n'est pas un gouffre moins amer.
@emilianoucl
I also refused to do it since it is incompatible with my duties as a scholar and care to the students in this role. The university indeed is required to produce those reports for UKBA. That does not mean faculty are the ones who should do it or make it cheap/efficient for anyone.
Nym platform release v0.7.0 is now out. It includes support for generating Sphinx encrypted packets in browser runtimes using webassembly, for the first time!
I built a model of the observed COVID Case Fatality Rate (CFR). Result: unclear if high Italy CFR due to serious virus complications OR high prevalence in population and higher in hospitals. Actual CFR maybe ~2% or low ~0.01% (stay in & wash hands anyway)
@samlafer
@DavidTiczon
@SuiNetwork
Have a look at who wrote the first commit seq of a parallel execution engine for Libra:
We built
@SuiNetwork
having learned the lessons from this, as well as the full literature on deterministic databases and a prototype at xmas 2020 before in…
UCL Computer Science has a faculty position open in Information Security. This is a world leading research intensive department. The UK system avoids the pressures of the US tenure system, while being much more egalitarian than many European systems for junior faculty. Do apply!
Just less than a week to apply for our opening to join
@uclisec
@ucl
as an academic (open rank). Please RT :)
Deadline 31 Jan 2024:
Love the disrupting thinking vibe
@uclcs
My prediction is that the first autonomous weapons are going to be cyberweapons, not kinetic ones. They will make our "Satan Virus" concept from 6/6/06 look like a child's story:
"Chainspace: a sharded smart-contracts platform" Al-Bassam et al., NDSS'18
#themorningpaper
Smart contracts at scale... the chainspace decentralised app platform.