Binston Sukhael Cardoza binsta

• 22:54 (UTC +05:30)
• @binston

Pinned Loading

1. A github action for setting up snfoundry

   JavaScript 14 6

2. Formal verification using TLA+.

   TLA

3. Constraint-friendly map-to-elliptic-curve-group relations for ZK proofs

   Rust 1 1

4. automated EVM bytecode vulnerability scanner for closed-source contracts.

   Rust