Hugging Face's logo

ArmurAI
/
L3_8B_Solana_Smart_Contract_Analyser

Safetensors
English
Solana
Rust
Llama3
Blockchain
SmartContract
Model card Files Community
L3_8B_Solana_Smart_Contract_Analyser / README.md
SoumilB7's picture
SoumilB7
Update README.md
43b7c66 verified
preview code
|
raw
history blame
3.5 kB
metadata
language:
  - en
license: apache-2.0
tags:
  - Solana
  - Rust
  - Llama3
  - Blockchain
  - SmartContract

Uploaded Model

  • Name: L3_8B_Solana_Smart_Contract_Analyser
  • Organization: Armur
  • Project: Solana Smart Contract Audit
  • License: apache-2.0
  • Language: en

Usage 


from transformers import AutoModelForCausalLM, AutoTokenizer

model_path = "PATH_TO_THIS_REPO"

tokenizer = AutoTokenizer.from_pretrained(model_path)
model = AutoModelForCausalLM.from_pretrained(
    model_path,
    device_map="auto",
    torch_dtype='auto'
).eval()

# Prompt content: "hi"
messages = [
    {"role": "user", "content": Rust_Smart_COntract}
]

input_ids = tokenizer.apply_chat_template(conversation=messages, tokenize=True, add_generation_prompt=True, return_tensors='pt')
output_ids = model.generate(input_ids.to('cuda'))
response = tokenizer.decode(output_ids[0][input_ids.shape[1]:], skip_special_tokens=True)

# Model response: "-- Vulnerabilities --"
print(response)

L3_8B_Solana_Smart_Contract_Analyser

L3_8B_Solana_Smart_Contract_Analyser is a cutting-edge AI model designed for comprehensive analysis and security auditing of smart contracts on the Solana blockchain. We utilized the ArmurAI/L3_8B base model, enhanced it with extensive knowledge of Solana-specific vulnerabilities and best practices, and fine-tuned it with a vast dataset of both secure and vulnerable smart contracts.

Key Features of L3_8B_Solana_Smart_Contract_Analyser:

Advanced Vulnerability Detection

Identifies critical security flaws in Solana smart contracts:

  • Reentrancy vulnerabilities specific to Solana's runtime environment
  • Unauthorized access to sensitive functions or resources
  • Integer overflow/underflow issues in financial calculations
  • Improper error handling that could lead to unexpected contract behavior
  • Resource exhaustion attacks unique to Solana's computational units

Rust-Specific Security Analysis

Leverages deep understanding of the Rust programming language to detect:

  • Incorrect usage of Rust's ownership and borrowing rules
  • Potential violations of memory safety principles in resource management
  • Unsafe type casting or conversions that could compromise contract integrity

Solana Module Interaction Auditing

Identifies risks in inter-module interactions:

  • Unauthorized calls to privileged functions in other modules
  • Potential front-running vulnerabilities in multi-step operations
  • Inconsistent state management across module boundaries

Tokenomics and Access Control Verification

Scrutinizes:

  • Flaws in token distribution mechanisms that could lead to unfair advantages
  • Weaknesses in role-based access control implementations
  • Potential centralization risks in governance structures

Smart Contract Upgrade Vulnerabilities

Detects:

  • Insecure upgrade patterns that could lead to loss of funds or contract takeover
  • Inconsistencies between different versions of upgraded contracts
  • Potential backdoors or hidden admin functions in upgradeable contracts

By incorporating these features, L3_8B_Solana_Smart_Contract_Analyser not only enhances the security of your Solana smart contracts but also improves their efficiency and quality. Whether you're a seasoned Solana developer or new to the ecosystem, our model provides invaluable support throughout your development lifecycle.

For more details and to access the tool, visit the ArmurAI GitHub repository.