Tooling and Languages


Topic Replies Views Activity
key-problems

CTA: In these threads we attempt to inventory key areas of exploration that may exist in a particular discipline. These posts are living documents and it is our hope that the community will contribute to the list. CT…

1 580 December 1, 2020
notable-works

SCRF is crowd-sourcing a list of key readings in each forum category to point readers to notable works and foundational research. Please comment in this thread with links to seminal research that could form part of an in…

2 652 June 16, 2021
about
0 888 November 5, 2020
summary
12 1809 February 22, 2023
discussion ,  key-problems
11 1208 February 22, 2023
summary
1 209 January 10, 2023
summary
7 528 January 1, 2023
network-security ,  summary
11 648 December 29, 2022
testing
11 4103 December 1, 2022
summary
5 360 November 30, 2022
summary
5 537 November 29, 2022
summary
12 1327 November 28, 2022
summary
1 429 November 4, 2022
summary
3 328 November 2, 2022
summary
2 465 March 22, 2022
summary
24 2340 February 17, 2022
summary
4 1588 February 17, 2022
summary ,  dex ,  oracles ,  zero-knowledge
7 1620 January 29, 2022
dex ,  arbitrage-bots ,  defi ,  summary
15 25815 December 9, 2021
summary ,  arbitrage-bots ,  flash-loans
2 1499 November 10, 2021
4 2067 July 20, 2021
formal-verification ,  interview ,  network-security ,  summary
4 1234 March 26, 2021
discussion ,  ethereum ,  formal-verification
3 833 January 8, 2021
category-intro
0 469 December 1, 2020