Raymond Pasco
Member at Ameretat LLC
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolRaymond Pasco is a backend-focused software engineer with 11 years of experience building low-level systems and blockchain infrastructure from New York. He has deep expertise in niche, research-driven projects—contributing to Urbit’s operating stack and to Rust-based Proof-of-Stake work on Namada and Anoma—where he implemented core logic, networking, cryptography, and IBC integrations. His background blends litigation-support consulting and hands-on development, giving him a disciplined, detail-oriented approach to system correctness and auditability. Raymond’s math training underpins his comfort with formal and low-level abstractions, and his track record shows a preference for projects that require digging into VM internals, protocol handling, and resource management rather than surface-level application work.
11 years of coding experience
5 years of employment as a software developer
Mathematics, Mathematics at Central Connecticut State UniversityBachelor of Arts - BA, Mathematics, Bachelor of Arts - BA, Mathematics at University of Illinois Springfield
English, classical chinese, Japanese, French, Latin
Github Skills (20)
algorithm10
crypto10
transaction10
transactional10
elixir10
chain10
data-structure10
crypt10
urbit10
bc10
cryptography10
blockchain10
data-structures10
functional-programming10
rust10
Programming languages (15)
Github contributions (5)
anoma/namada
Aug 2022 - Jan 2023
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 220 commits, 19 PRs in 5 months
Contributions summary:Raymond primarily worked on the backend logic within the Namada blockchain project. Their contributions focused on integrating and manipulating the IBC (Inter-Blockchain Communication) protocol for token transfers, suggesting experience with blockchain technology. They were involved in adding new commands to the CLI for managing blockchain functions, and the implementation of protocol parameter storage and handling.
interchainzkpprivacyrustagnostic
anoma/anoma
Jul 2021 - Jul 2022
Reference implementation of Anoma
Role in this project:Back-end Developer
Back-end DeveloperContributions:4 releases, 22 reviews, 317 commits in 1 year
Contributions summary:Raymond's commits primarily focus on adding and modifying code within the `anoma/anoma` repository, which is a reference implementation for the Anoma project. The user is involved in adding structures for transparent resource management, supporting resource backends for transactions, and working on the core logic for the Nock VM, adding features and implementing a set-level jet. These contributions indicate a focus on back-end functionality, particularly in the core functionality of the Anoma project, and show a significant involvement in the project's internal workings, demonstrating a strong degree of specialization in backend.
cryptographyanomaconsensusprotocolp2p
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.