Sierra

Sierra  - High-Performance Merkle Proof Generation and Verification System 


Overview 

Sierra is a high-performance Merkle proof generation and verification system optimized for modern architectures, with a focus on RISC-V optimization.

 Key Capabilities 

1.Merkle Proof Generation: Lightning-fast proof generation for large datasets

2. Proof Verification: Optimized verification algorithms with minimal overhead 

3.RISC-V Optimizations: Assembly-level optimizations for maximum performance 

4.SPI Interface: Clean API for proof submission and verification .


Core Technologies 

 1. Language: C with RISC-V assembly optimizations

2. Hash Functions: SHA-256, Blake2b (RISC-V optimized) 

3.Architecture: RISC-V 64-bit with extensions (B, V) 

Development Tools 
1.Compiler: RISC-V GCC with optimization flags 

2.Simulator: Spike RISC-V ISA simulator 

3.Emulator: QEMU RISC-V 


 Optimization Focus 
1.Assembly Kernels: Critical path optimization

2. Cache Optimization: L1/L2/L3 cache-aware algorithms 

3.Memory Management: Efficient allocation and access patterns 

4.Vector Processing: RISC-V vector extensions

Performance Benchmarks 

1.Proof Generation Speed: Measured in proofs per second 

2.Verification Speed: Measured in verifications per second 

3.Memory Efficiency: Peak memory usage during operations 

4.Cache Performance: Hit rates and memory bandwidth utilization

Use Cases 

1.Blockchain Scalability: Efficient light clients and state verification 

2.Data Availability Proofs: Prove data availability without full download 

3.Decentralized Storage: Verify inclusion in distributed storage systems 

4.Audit and Compliance: Cryptographic proof of data integrity

Github - https://github.com/ayushsingh82/Sierra

website - https://sierra-ama.vercel.app/

demo video - https://drive.google.com/drive/u/0/folders/1WeUJQkwZgLcwQ4X2C6AWJUvrOpULgypl