md-assembla's repositories
Solidity-Proxy-Playground
The good, the bad, and the ugly of proxy implementations
000
smart-contract-EVM
Smart contract for JOJO Exchange (EVM version)
NOASSERTION000
NOASSERTION000
NOASSERTION000
000
foundry-yul
Foundry + Yul template
000
CMTAT
Reference Solidity implementation of the CMTAT token developed by CMTA to tokenise securities in compliance with the Swiss law.
MPL-2.0000
audits
Smart contract and backed audits for Redacted product suite
000
halo2-verifier.move
move contracts of halo2 verifier
Apache-2.0000
Apache-2.0000
cyfrin-audit-reports
A list of public audit reports conducted by the Cyfrin team
000
GPL-2.0000
security
Security Reviews and Audit Checklists
MIT000
signup-sequencer
signup-sequencer repository
MIT000
MIT000
MIT000
triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Apache-2.0000