diff --git a/clients.go b/clients.go index 18ea170..5c32f34 100644 --- a/clients.go +++ b/clients.go @@ -287,10 +287,11 @@ var Clients []Client = []Client{ `), Body: template.HTML(`Babylon is a Cosmos zone that brings Bitcoin-level security to the Cosmos ecosystem using IBC. They achieve this by allowing any Cosmos blockchain to checkpoint to Babylon, then aggregate these checkpoints into a short summary using BLS signatures. The summary is then occasionally posted on the Bitcoin blockchain and referenced to make consensus decisions. The result is that slashable safety can be guaranteed within a short time period, and the bonding period is reduced from 21 days down to 7 hours. We help Babylon augment their cryptographic protocol in the area of performance and efficiency with respect to light clients and bridging, providing proofs of security in various availability models.`), Team: []TeamMember{ - Members["shresth"], - Members["bernardo"], - Members["dimitris"], + Members["orfeas"], Members["dionysis"], + Members["orestis"], + Members["lukas"], + Members["bernardo"], }, Findings: []Finding{}, }, @@ -335,13 +336,13 @@ var Clients []Client = []Client{ Name: "Turbo-PLONK verifier and BN254 audit report", Date: "2024-05-22", }, - }, - }, + }, + }, { Title: "HotShot Light Client audit", Desc: template.HTML(`Espresso Systems commissioned Common Prefix to audit their HotShot light client smart contract implemented in Solidity.`), Links: []ProjectLink{ - { + { Url: "/static/clients/espresso/espresso_hotshot_light_client_audit.pdf", Name: "HotShot Light Client audit report", Date: "2024-08-29", @@ -602,7 +603,8 @@ var Clients []Client = []Client{ }, }, }, - Findings: []Finding{}, + Findings: []Finding{}, + HideOnIndex: true, }, { Handle: "deviantart", @@ -728,7 +730,7 @@ var Clients []Client = []Client{ Projects: []Project{ { Title: "FusionLock audit", - Desc: template.HTML(`We audited BOB's FusionLock contract, where users can lock tokens. Upon a specified time (determined by the contract owner), users can either withdraw the tokens or bridge them to BOB using a bridge like Optimism's. We also ensured compatibility with the bridge by reviewing the list of tokens permitted to be locked in the contract.`), + Desc: template.HTML(`Common Prefix was commissoned to perform a security audit of BOB's FusionLock contract, where users can lock tokens. Upon a specified time (determined by the contract owner), users can either withdraw the tokens or bridge them to BOB using a bridge like Optimism's. We also ensured compatibility with the bridge by reviewing the list of tokens permitted to be locked in the contract.`), Links: []ProjectLink{ { Url: "/static/clients/bob/bob_fusionlock_audit.pdf", @@ -737,6 +739,17 @@ var Clients []Client = []Client{ }, }, }, + { + Title: "Onramp audit", + Desc: template.HTML(`Common Prefix was commissoned to perform a security audit of BOB's Onramp smart contracts, facilitating users' onboarding onto the BOB L2 network without the need to hold any Ethereum assets beforehand.`), + Links: []ProjectLink{ + { + Url: "/static/clients/bob/bob_onramp_audit.pdf", + Name: "BOB Onramp smart contract audit", + Date: "2024-04-22", + }, + }, + }, }, }, { @@ -764,4 +777,17 @@ var Clients []Client = []Client{ }, }, }, + { + Handle: "zano", + Name: "Zano", + Image: template.HTML(``), + Body: template.HTML(`Zano is an open-source Layer-1 blockchain for confidential assets and decentralized applications (dApps). + Common Prefix is collaborating with Zano on their consensus protocol.`), + Team: []TeamMember{ + Members["bernardo"], + Members["lioba"], + }, + Findings: []Finding{}, + Projects: []Project{}, + }, } diff --git a/openings.go b/openings.go index 409d9ab..a56998c 100644 --- a/openings.go +++ b/openings.go @@ -2,7 +2,7 @@ package main var Openings = []JobOpening{ { - Name: "Blockchain Engineer", + Name: "Software Engineer", Url: "https://commonprefix.notion.site/sw-folk", Location: "Remote", Type: "Full-time", diff --git a/public/careers.html b/public/careers.html index 1b0b273..43a55a3 100644 --- a/public/careers.html +++ b/public/careers.html @@ -86,7 +86,7 @@

Careers

-

Blockchain Engineer

+

Software Engineer

šŸ“ Remote Full-time diff --git a/public/clients/babylon.html b/public/clients/babylon.html index 577d9fd..74eb0d0 100644 --- a/public/clients/babylon.html +++ b/public/clients/babylon.html @@ -94,35 +94,43 @@

Babylon

Team on this Client

- + Shresth Agrawal - + Prof. Bernardo David - + Dr. Dimitris Karakostas - + Dr. Dionysis Zindros + + + + Prof. Bernardo David diff --git a/public/clients/bob.html b/public/clients/bob.html index f1acb51..4fac4a6 100644 --- a/public/clients/bob.html +++ b/public/clients/bob.html @@ -98,7 +98,7 @@

BOB

FusionLock audit

-

We audited BOB's FusionLock contract, where users can lock tokens. Upon a specified time (determined by the contract owner), users can either withdraw the tokens or bridge them to BOB using a bridge like Optimism's. We also ensured compatibility with the bridge by reviewing the list of tokens permitted to be locked in the contract.

+

Common Prefix was commissoned to perform a security audit of BOB's FusionLock contract, where users can lock tokens. Upon a specified time (determined by the contract owner), users can either withdraw the tokens or bridge them to BOB using a bridge like Optimism's. We also ensured compatibility with the bridge by reviewing the list of tokens permitted to be locked in the contract.

@@ -112,6 +112,25 @@

FusionLock audit

+
+
+
+

Onramp audit

+ +

Common Prefix was commissoned to perform a security audit of BOB's Onramp smart contracts, facilitating users' onboarding onto the BOB L2 network without the need to hold any Ethereum assets beforehand.

+
+ + +
+ BOB Onramp smart contract audit + 2024-04-22 +
+ .pdf + + +
+
+ diff --git a/public/clients/pantos.html b/public/clients/pantos.html index 14f212d..f70167e 100644 --- a/public/clients/pantos.html +++ b/public/clients/pantos.html @@ -104,9 +104,9 @@

Pantos smart contract audit

- +

- Flashbots + Zano

diff --git a/public/clients/zano.html b/public/clients/zano.html new file mode 100644 index 0000000..d18dbf1 --- /dev/null +++ b/public/clients/zano.html @@ -0,0 +1,246 @@ + + + + + + + + Common Prefix ā€” Zano + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + +
+ +
+
+
+
+

Common āŽµ Prefix

+ + +
+ + +
+
+ +

Zano

+

Zano is an open-source Layer-1 blockchain for confidential assets and decentralized applications (dApps). + Common Prefix is collaborating with Zano on their consensus protocol.

+
+ + + + +
+

Team on this Client

+
+ + + Prof. Bernardo David + + + + Lioba Heimbach + + +
+
+ + +
+ + +

+ Flashbots +

+ +
+
+ + + +
+
+
+ + + + diff --git a/public/index.html b/public/index.html index 6159836..34d1c25 100644 --- a/public/index.html +++ b/public/index.html @@ -77,7 +77,7 @@

researching and implementing blockchain protocols.

- We work using rigorous cryptographic techniques to design simple, + We work using rigorous cryptographic techniques to design and implement simple, provably secure protocols from first principles and guide their implementation. Our consulting and auditing pertain to theoretical cryptographic protocol analyses as well as the @@ -167,6 +167,28 @@

Team

/> + + Dr. Robin Fritsch + + + + Lioba Heimbach + + Team /> + + Prof. Julian Loss + + Team /> + + JoĆ£o Pedro Coelho de Azevedo + + EigenTrust - -

Ēnosys

- - - - - - - - - - - - + @@ -646,6 +677,11 @@

Pantos

+ +

Zano

+ + +
diff --git a/public/research.html b/public/research.html index 898122c..da003b3 100644 --- a/public/research.html +++ b/public/research.html @@ -219,7 +219,7 @@

Our Research

@@ -1137,7 +1137,7 @@

Zeta Avarikiotiā–
, - Lioba Heimbach, +
Lioba Heimbachā–
, Yuyi Wang, @@ -1638,7 +1638,7 @@

Zeta Avarikiotiā–
, - Lioba Heimbach, +
Lioba Heimbachā–
, Roland Schmid, diff --git a/public/static/clients/bob/bob_onramp_audit.pdf b/public/static/clients/bob/bob_onramp_audit.pdf new file mode 100644 index 0000000..1bfa64b Binary files /dev/null and b/public/static/clients/bob/bob_onramp_audit.pdf differ diff --git a/public/static/team/joao_azevedo.jpg b/public/static/team/joao_azevedo.jpg new file mode 100644 index 0000000..ba2fa25 Binary files /dev/null and b/public/static/team/joao_azevedo.jpg differ diff --git a/public/static/team/joao_azevedo_w150.jpg b/public/static/team/joao_azevedo_w150.jpg new file mode 100644 index 0000000..1fea256 Binary files /dev/null and b/public/static/team/joao_azevedo_w150.jpg differ diff --git a/public/static/team/julian_loss.jpg b/public/static/team/julian_loss.jpg new file mode 100644 index 0000000..3b3a8da Binary files /dev/null and b/public/static/team/julian_loss.jpg differ diff --git a/public/static/team/julian_loss_w150.jpg b/public/static/team/julian_loss_w150.jpg new file mode 100644 index 0000000..59865e1 Binary files /dev/null and b/public/static/team/julian_loss_w150.jpg differ diff --git a/public/static/team/lioba_heimbach.jpg b/public/static/team/lioba_heimbach.jpg new file mode 100644 index 0000000..09b1e0d Binary files /dev/null and b/public/static/team/lioba_heimbach.jpg differ diff --git a/public/static/team/lioba_heimbach_w150.jpg b/public/static/team/lioba_heimbach_w150.jpg new file mode 100644 index 0000000..3e1cfc8 Binary files /dev/null and b/public/static/team/lioba_heimbach_w150.jpg differ diff --git a/public/static/team/robin_fritsch.jpg b/public/static/team/robin_fritsch.jpg new file mode 100644 index 0000000..0cc397a Binary files /dev/null and b/public/static/team/robin_fritsch.jpg differ diff --git a/public/static/team/robin_fritsch_w150.jpg b/public/static/team/robin_fritsch_w150.jpg new file mode 100644 index 0000000..abf3638 Binary files /dev/null and b/public/static/team/robin_fritsch_w150.jpg differ diff --git a/public/team.html b/public/team.html index 0f765eb..a99a983 100644 --- a/public/team.html +++ b/public/team.html @@ -354,7 +354,7 @@

multiparty computation, consensus

Bernardo David is an Associate Professor at the IT University of Copenhagen, working on cryptographic protocols for multiparty computation and blockchain consensus/applications with the support of Concordium Foundation, - Independent Research Fund Denmark and Protocol Labs research grants. He holds a Ph.D. in Computer Science + Independent Research Fund Denmark and Protocol Labs research grants. He holds a PhD in Computer Science from Aarhus University, under the supervision of Ivan DamgĆ„rd and Jesper Buus Nielsen, and was previously an Assistant Professor at the Tokyo Institute of Technology, where his work was supported by a JSPS research grant. Bernardo’s research has been published as over 30 articles in scientific journals and conferences. Among his main contributions is @@ -365,6 +365,78 @@

multiparty computation, consensus

+
+ Dr. Robin Fritsch +
+
+ Dr. Robin Fritsch +
+

Dr. Robin Fritsch

+

DeFi, game theory, graph algorithms

+
+
+

+ Robin holds a PhD from ETH Zurich, advised by Roger Wattenhofer, focusing on game theory and decentralized finance. + He completed his MSc degree in Mathematics in Data Science from the Technical University of Munich. + Among other venues, he has published in AFT, ACM CCS, and AAMAS. Highlights of his research include the papers The Price of Majority Support, + The Economics of Automated Market Makers, + and Batching trades on Automated Market Makers. +

+
+
+ +
+ Lioba Heimbach +
+
+ Lioba Heimbach +
+

Lioba Heimbach

+

DeFi, cryptoeconomic incentives analysis, MEV, game theory

+
+
+

+ Lioba is a doctoral student at ETH Zurich advised by Roger Wattenhofer. + She holds a MSc degree in Electrical Engineering and Information Technology from ETH Zurich. + Her research focuses on empirical measurements and the analysis of cryptoeconomic incentives in the blockchain ecosystem with a focus on decentralized finance. + Among other venues, she has published in IEEE S&P (Oakland), FC, AFT, AsiaCCS, IMC, and DISC. + Highlights of her research include the papers Non-Atomic Arbitrage in Decentralized Finance, SoK: Preventing Transaction Reordering Manipulations in Decentralized Finance, and Base Fee Manipulation In Ethereum's EIP-1559 Transaction Fee Mechanism. +

+
+
+
smart contract development, large scale system design, softwar
+
+ Prof. Julian Loss +
+
+ Prof. Julian Loss +
+

Prof. Julian Loss

+

cryptography, distributed systems, consensus

+
+
+

+ Julian is a professor at CISPA Helmholtz Center for Information Security, focusing on cryptography and its applications to distributed algorithms. + He holds a PhD in Mathematics from Ruhr University Bochum, advised by Eike Kiltz, and a MSc in Computer Science from ETH Zurich. + Julian was a postdoctoral researcher at the University of Maryland and Carnegie Mellon University. + His interests include provable security, particularly digital signature schemes and algorithms for distributed consensus. + Among other venues, he has published in ACM CCS, ASIACRYPT, EUROCRYPT, FC, and IEEE S&P (Oakland). + Highlights of his research include the papers The Algebraic Group Model and its Applications, + On the Security of Two-Round Multi-Signatures, + and On the (in)security of ROS. +

+
+
+
smart contract development, testing, software engineering, alg
+
+ JoĆ£o Pedro Coelho de Azevedo +
+
+ JoĆ£o Pedro Coelho de Azevedo +
+

JoĆ£o Pedro Coelho de Azevedo

+

smart contract development, large scale system design, software engineering

+
+
+

+ JoĆ£o is a software engineer with experience in blockchain, fintech, and automotive technologies. + He holds a Masterā€™s degree in Electronics and Telecommunications Engineering from the University of Aveiro. + Over the years he has contributed to multiple startups (notably Qomodo, Topos Network and Veniam), building financing risk assessment systems, smart contracts, and connected mobility solutions. + His work spans backend engineering, smart contract development, and large-scale system architecture. + JoĆ£o is a certified PMP, IEEE member, and the inventor of 13 granted patents in intelligent networking and automotive communications. +

+
+
+
consensus, proof-of-work, machine learning

Odysseas is a blockchain researcher based in Athens, specializing in consensus mechanisms and proof-of-work protocols for blockchain systems. - He holds an Master's degree in Electrical and Computer Engineering from Aristotle University of Thessaloniki, + He holds a Master's degree in Electrical and Computer Engineering from Aristotle University of Thessaloniki, with a focus on inverse rendering and machine learning. He previously worked at the Information Technologies Institute, where he conducted research on GANs and image-to-image translation. diff --git a/team.go b/team.go index 00285bd..c981b0b 100644 --- a/team.go +++ b/team.go @@ -72,6 +72,21 @@ var Members map[string]TeamMember = map[string]TeamMember{ `), Image: "zeta_avarikioti.jpg", }, + + "JoĆ£o": { + Handle: "JoĆ£o", + Name: "JoĆ£o Pedro Coelho de Azevedo", + Specialization: "smart contract development, large scale system design, software engineering", + Desc: template.HTML(` + JoĆ£o is a software engineer with experience in blockchain, fintech, and automotive technologies. + He holds a Masterā€™s degree in Electronics and Telecommunications Engineering from the University of Aveiro. + Over the years he has contributed to multiple startups (notably Qomodo, Topos Network and Veniam), building financing risk assessment systems, smart contracts, and connected mobility solutions. + His work spans backend engineering, smart contract development, and large-scale system architecture. + JoĆ£o is a certified PMP, IEEE member, and the inventor of 13 granted patents in intelligent networking and automotive communications. + `), + Image: "joao_azevedo.jpg", + }, + "alexis": { Handle: "alexis", Name: "Alexis Brezas", @@ -116,7 +131,7 @@ var Members map[string]TeamMember = map[string]TeamMember{ Desc: template.HTML(` Bernardo David is an Associate Professor at the IT University of Copenhagen, working on cryptographic protocols for multiparty computation and blockchain consensus/applications with the support of Concordium Foundation, - Independent Research Fund Denmark and Protocol Labs research grants. He holds a Ph.D. in Computer Science + Independent Research Fund Denmark and Protocol Labs research grants. He holds a PhD in Computer Science from Aarhus University, under the supervision of Ivan DamgĆ„rd and Jesper Buus Nielsen, and was previously an Assistant Professor at the Tokyo Institute of Technology, where his work was supported by a JSPS research grant. Bernardo’s research has been published as over 30 articles in scientific journals and conferences. Among his main contributions is @@ -126,6 +141,32 @@ var Members map[string]TeamMember = map[string]TeamMember{ `), Image: "bernardo_david.jpg", }, + "robin": { + Handle: "robin", + Name: "Dr. Robin Fritsch", + Specialization: "DeFi, game theory, graph algorithms", + Desc: template.HTML(` + Robin holds a PhD from ETH Zurich, advised by Roger Wattenhofer, focusing on game theory and decentralized finance. + He completed his MSc degree in Mathematics in Data Science from the Technical University of Munich. + Among other venues, he has published in AFT, ACM CCS, and AAMAS. Highlights of his research include the papers The Price of Majority Support, + The Economics of Automated Market Makers, + and Batching trades on Automated Market Makers. + `), + Image: "robin_fritsch.jpg", + }, + "lioba": { + Handle: "lioba", + Name: "Lioba Heimbach", + Specialization: "DeFi, cryptoeconomic incentives analysis, MEV, game theory", + Desc: template.HTML(` + Lioba is a doctoral student at ETH Zurich advised by Roger Wattenhofer. + She holds a MSc degree in Electrical Engineering and Information Technology from ETH Zurich. + Her research focuses on empirical measurements and the analysis of cryptoeconomic incentives in the blockchain ecosystem with a focus on decentralized finance. + Among other venues, she has published in IEEE S&P (Oakland), FC, AFT, AsiaCCS, IMC, and DISC. + Highlights of her research include the papers Non-Atomic Arbitrage in Decentralized Finance, SoK: Preventing Transaction Reordering Manipulations in Decentralized Finance, and Base Fee Manipulation In Ethereum's EIP-1559 Transaction Fee Mechanism. + `), + Image: "lioba_heimbach.jpg", + }, "nikolas": { Handle: "nikolas", Name: "Nikolaos Kamarinakis", @@ -177,13 +218,29 @@ var Members map[string]TeamMember = map[string]TeamMember{ Desc: template.HTML(` Odysseas is a blockchain researcher based in Athens, specializing in consensus mechanisms and proof-of-work protocols for blockchain systems. - He holds an Master's degree in Electrical and Computer Engineering from Aristotle University of Thessaloniki, + He holds a Master's degree in Electrical and Computer Engineering from Aristotle University of Thessaloniki, with a focus on inverse rendering and machine learning. He previously worked at the Information Technologies Institute, where he conducted research on GANs and image-to-image translation. `), Image: "odysseas_sofikitis.jpg", }, + "julian": { + Handle: "julian", + Name: "Prof. Julian Loss", + Specialization: "cryptography, distributed systems, consensus", + Desc: template.HTML(` + Julian is a professor at CISPA Helmholtz Center for Information Security, focusing on cryptography and its applications to distributed algorithms. + He holds a PhD in Mathematics from Ruhr University Bochum, advised by Eike Kiltz, and a MSc in Computer Science from ETH Zurich. + Julian was a postdoctoral researcher at the University of Maryland and Carnegie Mellon University. + His interests include provable security, particularly digital signature schemes and algorithms for distributed consensus. + Among other venues, he has published in ACM CCS, ASIACRYPT, EUROCRYPT, FC, and IEEE S&P (Oakland). + Highlights of his research include the papers The Algebraic Group Model and its Applications, + On the Security of Two-Round Multi-Signatures, + and On the (in)security of ROS. + `), + Image: "julian_loss.jpg", + }, "orfeas": { Handle: "orfeas", Name: "Dr. Orfeas Stefanos Thyfronitis Litos", diff --git a/templates/index.html b/templates/index.html index f2728e8..035c515 100644 --- a/templates/index.html +++ b/templates/index.html @@ -7,7 +7,7 @@

researching and implementing blockchain protocols.

- We work using rigorous cryptographic techniques to design simple, + We work using rigorous cryptographic techniques to design and implement simple, provably secure protocols from first principles and guide their implementation. Our consulting and auditing pertain to theoretical cryptographic protocol analyses as well as the