Tooling and Languages


Topic Replies Views Activity
Key Problems in Tooling and Languages
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 197 December 1, 2020
Notable Works in Tooling and Languages
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 279 June 16, 2021
About the Tooling and Languages category
about
0 144 November 5, 2020
Research Summary: Leveraging Blockchain for Greater Accessibility of Machine Learning Models
23 1028 December 22, 2021
Research Summary: Towards private on-chain algorithmic trading
summary ,  zero-knowledge ,  dex ,  oracles
6 381 December 9, 2021
Research Summary: Coding a DeFi arbitrage bot
summary ,  defi ,  dex ,  arbitrage-bots
15 13405 December 9, 2021
Research Summary: Building a Flash Loan Arbitrage Bot on Infura
flash-loans ,  arbitrage-bots
2 245 November 10, 2021
Deep Diving into PRBMath, a Library for Advanced Fixed-Point Math
testing
8 895 August 18, 2021
A Conversation with the Creators of BitML
key-problems ,  discussion
10 521 July 22, 2021
Mini Post: Fast and reliable AML check in 4 quick steps
4 918 July 20, 2021
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
summary
2 464 June 10, 2021
Research Summary: Bitcoin Covenants Unchained
summary
10 675 May 12, 2021
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
summary ,  network-security ,  formal-verification ,  interview
4 700 March 26, 2021
Scribble: an inline verification language for Solidity
discussion ,  formal-verification ,  ethereum
3 331 January 8, 2021
Introduction to Tooling and Languages
category-intro
0 159 December 1, 2020