snarky
OCaml DSL for verifiable computation
파일 탐색기
최종 버전 다운로드 (.zip)- build.yml
- docker.yml
- docs.yml
- bitstring.ml
- bitstring.mli
- dune
- dune
- test_fold_lib.ml
- dune
- fold.ml
- bw19.ml
- dune
- field_intf.ml
- group_map.ml
- group_map.mli
- dune
- ppx_h_list.ml
- dune
- h_list.ml
- dune
- test_interval_union.ml
- dune
- interval_union.ml
- interval_union.mli
- dune
- ppx_snarky.ml
- snarkydef.ml
- rebuild-docker.sh
- bowe_gabizon.ml
- dune
- elliptic_curve.ml
- elliptic_curve_intf.ml
- fields.ml
- groth16.ml
- groth_maller.ml
- mnt4753.ml
- mnt4_80.ml
- mnt6753.ml
- mnt6_80.ml
- nat.ml
- nat.mli
- nat_intf.ml
- pairing.ml
- pasta.ml
- tweedle.ml
- dune
- snarky_curve.ml
- dune
- integer.ml
- integer.mli
- util.ml
- dune
- monad_let.ml
- monad_sequence.ml
- restrict_monad.ml
- snarky_monad_lib.ml
- dune
- signature.ml
- dune
- hash_function.ml
- hex.ml
- kimchi.json
- legacy.json
- main.ml
- constants.ml
- dune
- intf.ml
- params.ml
- sponge.ml
- sponge.mli
- as_prover.ml
- as_prover_intf.ml
- backend_extended.ml
- backend_intf.ml
- boolean.ml
- boolean.mli
- checked.ml
- checked_intf.ml
- checked_runner.ml
- constraint_system.ml
- cvar.ml
- cvar.mli
- dune
- enumerable.ml
- enumerable.mli
- enumerable_intf.ml
- handle.ml
- merkle_tree.ml
- merkle_tree.mli
- number.ml
- number.mli
- number_intf.ml
- pedersen.ml
- request.ml
- request.mli
- run_state.ml
- run_state.mli
- run_state_intf.mli
- runners.ml
- snark.ml
- snark0.ml
- snark0.mli
- snark_intf.ml
- snarky_backendless.ml
- typ.ml
- types.ml
- utils.ml
- utils.mli
- bigint_intf.ml
- dune
- field.ml
- vector.ml
- backend.ml
- dune
- fermat.ml
- snarky_tests.ml
- dune
- snark.ml
- snarky.ml
- double.ml
- double.mli
- dune
- four.ml
- intf.ml
- quadruple.ml
- quadruple.mli
- triple.ml
- triple.mli
- tuple_lib.ml
- .dockerignore
- .gitattributes
- .gitignore
- .ocamlformat
- bitstring_lib.opam
- Dockerfile
- dune
- dune-project
- fold_lib.opam
- group_map.opam
- h_list.opam
- interval_union.opam
- LICENSE
- Makefile
- ppx_snarky.opam
- README.md
- snarkette.opam
- snarky.opam
- snarky_curve.opam
- snarky_integer.opam
- snarky_signature.opam
- sponge.opam
- tuple_lib.opam
# 설치 가이드
1. 코드 내려받기
git clone https://github.com/o1-labs/snarky
깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.
cd snarky
방금 내려받은 프로젝트 폴더 안으로 이동합니다.
2. Docker
쉬움 추천사전 준비물
- Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
- Docker Desktop 컨테이너를 빌드하고 실행하려면 필요합니다. 설치 후 실행해서 백그라운드에 켜두세요.
docker build -t snarky .
Dockerfile을 기반으로 실행 가능한 이미지를 빌드합니다.
docker run -p 8080:80 snarky
빌드된 이미지를 실제 컨테이너로 실행합니다.
터미널에 docker compose ps 를 입력해 컨테이너들이 Up 상태인지 확인하세요. README에 포트 번호가 적혀있다면 브라우저에서 http://localhost:포트번호 로 접속해보세요.
3. Make
보통사전 준비물
- Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
- Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
make
생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.
에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.
// repository documentation
Was this content helpful?
(0 ratings)