Skip to content

Commit 5b5dd3d

Browse files
tuturu-techtuturu-tech
committed
formatting
1 parent b8adeaa commit 5b5dd3d

File tree

1 file changed

+11
-11
lines changed

1 file changed

+11
-11
lines changed

‎resources/tob_blogposts.md‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -14,35 +14,35 @@ The following contains blockchain-related blog posts made by Trail of Bits.
1414

1515
## Consensus Algorithms
1616

17-
Research in the distributes systems area
17+
Research in the distributed systems area
1818

1919
| Date | Title | Description |
2020
| ---------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------- |
2121
| 2021/11/11 | [Motivating global stabilization](https://blog.trailofbits.com/2021/11/11/motivating-global-stabilization/) | Review of Fischer, Lynch, and Paterson’s classic impossibility result and global stabilization time assumption |
2222
| 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 |
2323
| 2019/07/12 | [On LibraBFT’s use of broadcasts](https://blog.trailofbits.com/2019/07/12/librabft/) | Liveness of LibraBFT and HotStuff algorithms |
2424
| 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 |
2626

2727
## Fuzzing Compilers
2828

2929
Our work on the topic of fuzzing the `solc` compiler
3030

31-
| Date | Title | Description |
32-
| ---------- | ----------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------- |
31+
| Date | Title | Description |
32+
| ---------- | ----------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------ |
3333
| 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 |
3535

3636
## General
3737

3838
Security research, analyses, announcements, and write-ups
3939

4040
| Date | Title | Description |
4141
| ---------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------- |
42-
| 2022/10/12 | [Porting the Solana eBPF JIT compiler to ARM64](https://blog.trailofbits.com/2022/10/12/solana-jit-compiler-ebpf-arm64/) | 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 "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 "Are Blockchains Decentralized? Unintended Centralities in Distributed Ledgers" report |
45-
| 2020/08/05 | [Accidentally stepping on a DeFi lego](https://blog.trailofbits.com/2020/08/05/accidentally-stepping-on-a-defi-lego/) | Write-up of a vulnerability in yVault project |
42+
| 2022/10/12 | [Porting the Solana eBPF JIT compiler to ARM64](https://blog.trailofbits.com/2022/10/12/solana-jit-compiler-ebpf-arm64/) | 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 "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 "Are Blockchains Decentralized? Unintended Centralities in Distributed Ledgers" report |
45+
| 2020/08/05 | [Accidentally stepping on a DeFi lego](https://blog.trailofbits.com/2020/08/05/accidentally-stepping-on-a-defi-lego/) | Write-up of a vulnerability in yVault project |
4646
| 2020/05/15 | [Bug Hunting with Crytic](https://blog.trailofbits.com/2020/05/15/bug-hunting-with-crytic/) | Description of 9 bugs found by Trail of Bits tools in public projects |
4747
| 2019/11/13 | [Announcing the Crytic $10k Research Prize](https://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/) | Academic research prize promoting open source work |
4848
| 2019/10/24 | [Watch Your Language: Our First Vyper Audit](https://blog.trailofbits.com/2019/10/24/watch-your-language-our-first-vyper-audit/) | Pros and cons of Vyper language and disclosure of vulnerability in the Vyper's compiler |
@@ -112,7 +112,7 @@ Our work related to contracts upgradeability
112112
| 2018/10/29 | [How contract migration works](https://blog.trailofbits.com/2018/10/29/how-contract-migration-works/) | Alternative to upgradability mechanism - moving data to a new contract |
113113
| 2018/09/05 | [Contract upgrade anti-patterns](https://blog.trailofbits.com/2018/09/05/contract-upgrade-anti-patterns/) | Discussion of risks and recommendations for Data Separation and Delegatecall Proxy patterns. Disclosure of vulnerability in Zeppelin Proxy contract. |
114114

115-
## Zero-knowledge
115+
## Zero-Knowledge
116116

117117
Our work in Zero-Knowledge Proofs space
118118

@@ -126,4 +126,4 @@ Our work in Zero-Knowledge Proofs space
126126
| 2021/02/19 | [Serving up zero-knowledge proofs](https://blog.trailofbits.com/2021/02/19/serving-up-zero-knowledge-proofs/) | Fiat-Shamir transformation explained |
127127
| 2020/12/14 | [Reverie: An optimized zero-knowledge proof system](https://blog.trailofbits.com/2020/12/14/reverie-an-optimized-zero-knowledge-proof-system/) | Rust implementation of the MPC-in-the-head proof system |
128128
| 2020/05/21 | [Reinventing Vulnerability Disclosure using Zero-knowledge Proofs](https://blog.trailofbits.com/2020/05/21/reinventing-vulnerability-disclosure-using-zero-knowledge-proofs/) | Announcement of DARPA sponsored work on ZK proofs of exploitability |
129-
| 2019/10/04 | [Multi-Party Computation on Machine Learning](https://blog.trailofbits.com/2019/10/04/multi-party-computation-on-machine-learning/) | Implementation of 3-party computation protocol for perceptron and support vector machine (SVM) algorithms |
129+
| 2019/10/04 | [Multi-Party Computation on Machine Learning](https://blog.trailofbits.com/2019/10/04/multi-party-computation-on-machine-learning/) | Implementation of 3-party computation protocol for perceptron and support vector machine (SVM) algorithms |

0 commit comments

Comments
 (0)