You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: resources/tob_blogposts.md
+9-9Lines changed: 9 additions & 9 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -22,23 +22,23 @@ Research in the distributed systems area
22
22
| 2019/10/25 |[Formal Analysis of the CBC Casper Consensus Algorithm with TLA+](https://blog.trailofbits.com/2019/10/25/formal-analysis-of-the-cbc-casper-consensus-algorithm-with-tla/)| Verification of finality of the Correct By Construction (CBC) PoS consensus protocol |
23
23
| 2019/07/12 |[On LibraBFT’s use of broadcasts](https://blog.trailofbits.com/2019/07/12/librabft/)| Liveness of LibraBFT and HotStuff algorithms |
24
24
| 2019/07/02 |[State of the Art Proof-of-Work: RandomX](https://blog.trailofbits.com/2019/07/02/state/)| Summary of our audit of ASIC and GPU-resistant PoW algorithm |
25
-
| 2018/10/12 |[Introduction to Verifiable Delay Functions (VDFs)](https://blog.trailofbits.com/2018/10/12/introduction-to-verifiable-delay-functions-vdfs/)| Basics of VDFs - a class of hard to compute, not parallelizable, but easily verifiable functions |
25
+
| 2018/10/12 |[Introduction to Verifiable Delay Functions (VDFs)](https://blog.trailofbits.com/2018/10/12/introduction-to-verifiable-delay-functions-vdfs/)| Basics of VDFs - a class of hard to compute, not parallelizable, but easily verifiable functions |
26
26
27
27
## Fuzzing Compilers
28
28
29
29
Our work on the topic of fuzzing the `solc` compiler
| 2021/03/23 |[A Year in the Life of a Compiler Fuzzing Campaign](https://blog.trailofbits.com/2021/03/23/a-year-in-the-life-of-a-compiler-fuzzing-campaign/)| Results and features of fuzzing solc |
34
-
| 2020/06/05 |[Breaking the Solidity Compiler with a Fuzzer](https://blog.trailofbits.com/2020/06/05/breaking-the-solidity-compiler-with-a-fuzzer/)| Our approach to fuzzing solc |
34
+
| 2020/06/05 |[Breaking the Solidity Compiler with a Fuzzer](https://blog.trailofbits.com/2020/06/05/breaking-the-solidity-compiler-with-a-fuzzer/)| Our approach to fuzzing solc |
35
35
36
36
## General
37
37
38
38
Security research, analyses, announcements, and write-ups
| 2022/10/12 |[Porting the Solana eBPF JIT compiler to ARM64](https://blog.trailofbits.com/2022/10/12/solana-jit-compiler-ebpf-arm64/)| A low-level write-up of the work done to make the Solana compiler work on ARM64|
43
-
| 2022/06/24 |[Managing risk in blockchain deployments](https://blog.trailofbits.com/2022/06/24/managing-risk-in-blockchain-deployments/)| A summary of the "Do You Really Need a Blockchain? An Operational Risk Assessment" report|
44
-
| 2022/06/21 |[Are blockchains decentralized?](https://blog.trailofbits.com/2022/06/21/are-blockchains-decentralized/)| A summary of the "Are Blockchains Decentralized? Unintended Centralities in Distributed Ledgers" report|
| 2022/10/12 |[Porting the Solana eBPF JIT compiler to ARM64](https://blog.trailofbits.com/2022/10/12/solana-jit-compiler-ebpf-arm64/)| A low-level write-up of the work done to make the Solana compiler work on ARM64 |
43
+
| 2022/06/24 |[Managing risk in blockchain deployments](https://blog.trailofbits.com/2022/06/24/managing-risk-in-blockchain-deployments/)| A summary of the "Do You Really Need a Blockchain? An Operational Risk Assessment" report |
44
+
| 2022/06/21 |[Are blockchains decentralized?](https://blog.trailofbits.com/2022/06/21/are-blockchains-decentralized/)| A summary of the "Are Blockchains Decentralized? Unintended Centralities in Distributed Ledgers" report |
0 commit comments